MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On the protocol composition logic PCL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Motorola  
  • by Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh Tripunitara
  • … Protocol Composition Logic (PCL) to prove each protocol secure. From that basis, we can show the protocols…
  • Add To MetaCart
  • A modular correctness proof of ieee 802.11i and tls  
  • by Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchellelectrical Engineering, Computer Science Departments — 2005 — In CCS ’05: Proceedings of the 12th ACM conference on Computer and communications security
  • … correctness proof of the 802.11i protocols using Protocol Composition Logic (PCL) [17, 18, 11, 14, 12, 13, 25…
  • Cited by 10 (1 self) – Add To MetaCart
  • Secrecy analysis in protocol composition logic  
  • by Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell — 2006 — Proceedings of 11th Annual Asian Computing Science Conference
  • … 7. 2 Background Protocol Composition Logic (PCL) is developed in [14, 9, 8, 10], with [11] providing…
  • Cited by 6 (4 self) – Add To MetaCart
  • Computing  
  • by Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar, Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar — 2009
  • … for modeling systems and is inspired by a logic for network protocol analysis, Protocol Composition Logic (PCL…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB