File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Provable security for cryptographic protocols - exact analysis and engineering applications

TitleProvable security for cryptographic protocols - exact analysis and engineering applications
Authors
Issue Date1997
Citation
Proceedings Of The Computer Security Foundations Workshop, 1997, p. 45-58 How to Cite?
AbstractWe develop an approach to deriving concrete engineering advice for cryptographic protocols from provable-security-style proofs of security. The approach is illustrated with a simple, yet useful protocol. The proof is novel and is the first published proof that provides an exact relationship between a high-level protocol and multiple cryptographic primitives.
Persistent Identifierhttp://hdl.handle.net/10722/158211
ISSN

 

DC FieldValueLanguage
dc.contributor.authorGray Iii, James Wen_US
dc.contributor.authorEpsilon Ip, Kin Faien_US
dc.contributor.authorLui, KingShanen_US
dc.date.accessioned2012-08-08T08:58:34Z-
dc.date.available2012-08-08T08:58:34Z-
dc.date.issued1997en_US
dc.identifier.citationProceedings Of The Computer Security Foundations Workshop, 1997, p. 45-58en_US
dc.identifier.issn1063-6900en_US
dc.identifier.urihttp://hdl.handle.net/10722/158211-
dc.description.abstractWe develop an approach to deriving concrete engineering advice for cryptographic protocols from provable-security-style proofs of security. The approach is illustrated with a simple, yet useful protocol. The proof is novel and is the first published proof that provides an exact relationship between a high-level protocol and multiple cryptographic primitives.en_US
dc.languageengen_US
dc.relation.ispartofProceedings of the Computer Security Foundations Workshopen_US
dc.titleProvable security for cryptographic protocols - exact analysis and engineering applicationsen_US
dc.typeConference_Paperen_US
dc.identifier.emailLui, KingShan:kslui@eee.hku.hken_US
dc.identifier.authorityLui, KingShan=rp00188en_US
dc.description.naturelink_to_subscribed_fulltexten_US
dc.identifier.scopuseid_2-s2.0-0030703956en_US
dc.identifier.spage45en_US
dc.identifier.epage58en_US
dc.publisher.placeUnited Statesen_US
dc.identifier.scopusauthoridGray III, James W=7404300433en_US
dc.identifier.scopusauthoridEpsilon Ip, Kin Fai=6507892891en_US
dc.identifier.scopusauthoridLui, KingShan=7103390016en_US

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats