Showing 1 - 1 results of 1 for search 'Cervesato, I', query time: 0.02s
Refine Results
-
1
An encapsulated authentication logic for reasoning about key distribution protocols by Cervesato, I, Meadows, C, Pavlovic, D
Published 2005Conference item