Nominal Calculi for Security and Mobility (1997)
Cached
Download Links
- [ftp.cl.cam.ac.uk]
- [research.microsoft.com]
- [research.microsoft.com]
- [www.research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
Andrew D. Gordon
| Venue: | IN PROC. DARPA WORKSHOP ON FOUNDATIONS FOR SECURE MOBILE CODE |
| Citations: | 22 - 0 self |
BibTeX
@INPROCEEDINGS{Gordon97nominalcalculi,
author = {Andrew D. Gordon},
title = {Nominal Calculi for Security and Mobility},
booktitle = {IN PROC. DARPA WORKSHOP ON FOUNDATIONS FOR SECURE MOBILE CODE},
year = {1997},
pages = {262--330},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
