Abstraction and refinement in protocol derivation
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic
Details
| Book Title |
Proceedings of CSFW 2004 |
| Editor |
Riccardo Focardi |
| Pages |
30–47 |
| Publisher |
IEEE |
| Year |
2004 |
Links
Related pages
|
People |