On the Protocol Composition Logic PCL
C.J.F. Cremers
Details
| Address |
Tokyo |
| Book Title |
Proceedings of the 3rd ACM Symposium on Information‚ Computer and Communications Security |
| Editor |
M. Abe and V. Gligor |
| Month |
March |
| Pages |
66–76 |
| Publisher |
ACM Press |
| Series |
ASIACCS |
| Year |
2008 |
Links
Related pages
|
People |