MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Nonce Functions." – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

ATOM

12. Rouge APs 13. Ad-Hoc Networking Issues
by Raj Jain, Raj Jain, Raj Jain, Raj Jain, Raj Jain
… nonce Pseudorandom nonce function (SHA-1) CCMP: EAPOL Key EAPOL Key Temporal Key Confirmation Key…
Add To MetaCart

How to Prevent Type Flaw Attacks on Security Protocols
by James Heather, Gavin Lowe, Steve Schneider — 2000 — In Proceedings, 13th Computer Security Foundations Workshop. IEEE Computer
…; s is the identity of a trusted server; na and nb are nonces; the functions PK and SK return an agent's public key…
Cited by 72 (2 self) – Add To MetaCart

Analyzing a Library of Security Protocols using Casper and FDR
by Ben Donovan, Paul Norris, Gavin Lowe — 1999 — In Workshop on Formal Methods and Security Protocols
… are nonces; PK and SK are functions that return an agent's public and secret key; the "InverseKeys" line…
Cited by 30 (0 self) – Add To MetaCart

Multiset Rewriting and the Complexity of Bounded Security Protocols
by N. A. Durgin, P.D. Lincoln, J. C. Mitchell, A. Scedrov — 2002 — Journal of Computer Security
… and nonces. Function symbols are names for functions on the sorts of the signature. For example…
Cited by 28 (2 self) – Add To MetaCart

A Syntactic Criterion for Injectivity of Authentication Protocols
by C.J.F. Cremers, S. Mauw, E.P. de Vink — 2005
… of e.g. nonces, or functions that are applied to the nonces. The remainder of this paper is structured…
Cited by 3 (0 self) – Add To MetaCart

Analysis of Security Protocols
by Nancy A. Durgin , John C. Mitchell — 1999 — IN CALCULATIONAL SYSTEM DESIGN, SERIES F: COMPUTER AND SYSTEMS SCIENCES
…, nonce for encryption keys, message contents and nonces. Function symbols are names for functions…
Cited by 18 (4 self) – Add To MetaCart

Cryptographic protocols
by Nancy Durgin A, Patrick Lincoln B, John Mitchell C, Andre Scedrov D — 1982 — In Proceedings of the fourteenth annual ACM Symopsium on Theory of Computing
… contents and nonces. Function symbols are names for functions on the sorts of the signature. For example…
Cited by 2 (0 self) – Add To MetaCart

Cryptographic protocol analysis on real C code
by Jean Goubault-larrecq, Fabrice Parrennes — 2005 — In 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’05), volume 3385 of LNCS
… �� , modulo some details. For example, and using Blanchet’s trick of coding nonces as function symbols applied…
Cited by 13 (2 self) – Add To MetaCart

Observational equivalence and trace equivalence in an extension of Spi-calculus. Application to cryptographic protocols analysis
by V. Cortier, Observational Equivalence — 2002
… not distinguish between public and private function, they need to introduce fresh nonces in the functions pub…
Cited by 8 (0 self) – Add To MetaCart

Jean Goubault-Larrecq Towards Producing Formally Checkable Security Proofs, Automatically
by unknown authors
… are shown in Figure 3. We use Blanchet’s trick of abstracting nonces by function symbols applied to the free…
Add To MetaCart

Showing 1 through 10.

ATOM

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