Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis
| Contribuinte(s) |
Abdallah, A Ryan, P Schneider, S |
|---|---|
| Data(s) |
2003
|
| Formato |
application/pdf |
| Identificador | |
| Publicador |
Springer-Verlag |
| Relação |
http://eprints.qut.edu.au/25095/1/Towards_a_formal_specification_of_the_Bellare-Rogaway_model_for_protocol_analysis.pdf Boyd, Colin & Viswanathan, Kapaleeswaran (2003) Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis. In Abdallah, A, Ryan, P, & Schneider, S (Eds.) Formal Aspects of Security - FASec 2002, December, 2002, London, United Kingdom. |
| Fonte |
Faculty of Science and Technology |
| Tipo |
Conference Paper |
