Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2012
Pavlovic, D. and Meadows, C.
(2012)
Actor-Network Procedures.
In: 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, 2-4 Feb 2012, Bhubaneswar, India.
pp. 7-26.
Lecture Notes in Computer Science 7154.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-28072-6
2010
Pavlovic, D. and Meadows, C.
(2010)
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol.
In: Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), 6-10 May 2010, Ottawa, Ontario, Canada .
pp. 97-122.
Electronic Notes in Theoretical Computer Science 265.
Elsevier.
ISSN 1571-0661
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||