Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2003
Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F.
(2003)
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.
In: 2nd Int. Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS), St. Petersburg, Russia.
pp. 86-99.
Springer-Verlag.
ISBN 3-540-40797-9
This list was generated on Thu May 24 06:24:02 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||