Searching for "Secure protocol composition." – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
A Model for Secure Protocols and Their Compositions
- …A Model for Secure Protocols and Their Compositions Nevin Heintze and J. D. Tygar Abstract…
- Cited by 67 (2 self) – Add To MetaCart
-
Concurrent General Composition of Secure Protocols in the Timing Model
- … Concurrent Composition of Secure Protocols in the Timing Model Yael Tauman Kalai y\Lambda M…
- Cited by 8 (2 self) – Add To MetaCart
-
SECURITY ANALYSIS OF NETWORK PROTOCOLS: COMPOSITIONAL REASONING AND COMPLEXITY
- … SECURITY ANALYSIS OF NETWORK PROTOCOLS: COMPOSITIONAL REASONING AND COMPLEXITY…
- Add To MetaCart
-
Security and Composition of Multi-party Cryptographic Protocols
- …Security and Composition of Multi-party Cryptographic Protocols Ran Canetti y September 9, 1999…
- Cited by 264 (14 self) – Add To MetaCart
-
ESFOR 2004 Preliminary Version
- …Abstract Compositionality of Security Protocols: A Research Agenda Cas Cremers 1 Department…
- Add To MetaCart
-
security protocols V'eronique Cortier * St'ephanie Delaune
- ….g. [25]) have also studied secure protocol composition in a broader sense: protocols can be composed…
- Add To MetaCart
-
on authentication protocol design.
- … for secure protocols and their compositions. IEEE Transactions on Software Engineering, 22…
- Add To MetaCart
-
Safely
- … e.g. the name of the protocol. Key-words: verification, security protocols, composition ∗ LORIA…
- Add To MetaCart
-
Verification of Multi-Protocol Attacks
- … task, because security properties are not compositional. When two protocols, that are correct when run…
- Cited by 1 (0 self) – Add To MetaCart
-
Specification and Refinement of Secure IT-Systems
- … neither can hope that security can be proved nor that security protocols are compositional. An example…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
