File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: Provable security for cryptographic protocols - exact analysis and engineering applications
| Title | Provable security for cryptographic protocols - exact analysis and engineering applications |
|---|---|
| Authors | |
| Issue Date | 1997 |
| Citation | Proceedings Of The Computer Security Foundations Workshop, 1997, p. 45-58 How to Cite? |
| Abstract | We 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 Identifier | http://hdl.handle.net/10722/158211 |
| ISSN |
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Gray Iii, James W | en_US |
| dc.contributor.author | Epsilon Ip, Kin Fai | en_US |
| dc.contributor.author | Lui, KingShan | en_US |
| dc.date.accessioned | 2012-08-08T08:58:34Z | - |
| dc.date.available | 2012-08-08T08:58:34Z | - |
| dc.date.issued | 1997 | en_US |
| dc.identifier.citation | Proceedings Of The Computer Security Foundations Workshop, 1997, p. 45-58 | en_US |
| dc.identifier.issn | 1063-6900 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10722/158211 | - |
| dc.description.abstract | We 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.language | eng | en_US |
| dc.relation.ispartof | Proceedings of the Computer Security Foundations Workshop | en_US |
| dc.title | Provable security for cryptographic protocols - exact analysis and engineering applications | en_US |
| dc.type | Conference_Paper | en_US |
| dc.identifier.email | Lui, KingShan:kslui@eee.hku.hk | en_US |
| dc.identifier.authority | Lui, KingShan=rp00188 | en_US |
| dc.description.nature | link_to_subscribed_fulltext | en_US |
| dc.identifier.scopus | eid_2-s2.0-0030703956 | en_US |
| dc.identifier.spage | 45 | en_US |
| dc.identifier.epage | 58 | en_US |
| dc.publisher.place | United States | en_US |
| dc.identifier.scopusauthorid | Gray III, James W=7404300433 | en_US |
| dc.identifier.scopusauthorid | Epsilon Ip, Kin Fai=6507892891 | en_US |
| dc.identifier.scopusauthorid | Lui, KingShan=7103390016 | en_US |
| dc.identifier.issnl | 1063-6900 | - |