Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,934,589 papers from all fields of science
Search
Sign In
Create Free Account
Protocol composition logic
Protocol Composition Logic is a formal method that is used for proving security properties of protocols that use symmetric key and Public key…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Cryptographic protocol
Digital signature
Process calculus
Public-key cryptography
Expand
Broader (1)
Cryptography
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A new method of formalizing anonymity based on protocol composition logic
Tao Feng
,
Shining Han
,
Xian Guo
,
Donglin Ma
Secur. Commun. Networks
2015
Corpus ID: 2013059
In order to make protocol composition logic PCL model satisfy the special needs of anonymous analysis, based on observational…
Expand
2015
2015
Validate Group Keys for SRTP: Combining Kerberos and Multimedia Internet Keying (MIKEY)
A. Kandapriya
,
S. Prabhu
2015
Corpus ID: 212454762
: Authenticated transport of cryptographic keys for secure group-communication between Distributed system to avoid the security…
Expand
2010
2010
Formal proofs of cryptographic security of network protocols
Arnab Roy
2010
Corpus ID: 252015593
Present-day internet users and networked enterprises rely on key management and related protocols that use cryptographic…
Expand
2010
2010
Modularity in Computer Security
Anupam Datta
2010
Corpus ID: 61415331
Compositional security is a recognized central scientific challenge for trustworthy computing. Contemporary systems are built up…
Expand
2008
2008
Study of Protocol Composition Logic
Qing-Mei Chang
2008
Corpus ID: 58244439
The syntax,semantic and proof system of Protocol Composition Logic(PCL) are explicated.The ways of proof about authentication…
Expand
2008
2008
A Modular Correctness Proof of IEEE 802.11i and SSL/TLS
Arnab Roy
,
Anupam Datta
,
Ante Derek
2008
Corpus ID: 50097978
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices…
Expand
2005
2005
Validation of the ASW Contract Signing Protocol
Mathieu Turuani
,
H. Vu-Van
2005
Corpus ID: 64618794
We consider the verification of contract signing protocol within a useful logical formalism, called the Protocol Composition…
Expand