Abstract
In the universal composability framework we consider ideal functionalities for secure messaging and signcryption. Using traditional formal methods techniques we show that the secure messaging functionality can be UC-realized by a hybrid protocol that uses the signcryption functionality and a public key infrastructure functionality. We also discuss that the signcryption functionality can be UC-realized by a secure signcryption scheme.
Original language | English |
---|---|
Pages | 46-54 |
Number of pages | 9 |
Publication status | Published - 9 Jul 2006 |
Event | 2nd Workshop on Formal and Computational Cryptography - Venice, Italy Duration: 9 Jul 2006 → 9 Jul 2006 |
Workshop
Workshop | 2nd Workshop on Formal and Computational Cryptography |
---|---|
Abbreviated title | FCC 2006 |
Country/Territory | Italy |
City | Venice |
Period | 9/07/06 → 9/07/06 |
Other | Co-located with ICALP'06 and CSFW'06 |