Abstraction and refinement in protocol derivation
Anupam Datta, Ante Derek, John C. Mitchell and Dusko Pavlovic infobook title | Proceedings of CSFW 2004 |
editor | Riccardo Focardi |
pages | 30—47 |
publisher | IEEE |
year | 2004 |
links
BibTeX
Link (ps)
related pages
|
