MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Operational Semantics of Security Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Operational semantics of security protocols
by Cas Cremers, Sjouke Mauw — 2005 — Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl
…Operational Semantics of Security Protocols Cas Cremers and Sjouke Mauw Eindhoven University…
Cited by 14 (2 self) – Add To MetaCart

Uncovering Attacks On Security Protocols
by Wuu Yang — In Proc.International Conf. Information Technology and Applications
… give an operational semantics of security protocols in terms of a Prolog-like language…
Cited by 1 (1 self) – Add To MetaCart

Compiling and Verifying Security Protocols
by Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron — 2000
… term. Therefore, this denes an operational semantics for security protocols (Section 4). In Section 5…
Cited by 43 (4 self) – Add To MetaCart

ESFOR 2004 Preliminary Version
by Compositionality Of Security, Cas Cremers
… composition of protocols and goals, is the Operational Semantics of Security Protocols as defined in [5…
Add To MetaCart

Feasibility of Multi-Protocol Attacks
by Cas Cremers — 2006 — In Proc. of the first international conference on availability, reliability and security (ARES
… handle multi-protocol analysis in an intuitive way, is the operational semantics for security protocols…
Cited by 4 (0 self) – Add To MetaCart

Verification of Multi-Protocol Attacks
by C. J. F. Cremers — 2005 — Eindhoven University of Technology
… of the semantics. Verification methods for security protocols traditonally do not scale well. This holds for manual…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB