360 search results - page 5 / 72 » ccs 2008 |
CCS
2008
ACM
14 years 26 days ago
2008
ACM
CCS
2008
ACM
14 years 26 days ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
ENTCS
2008
13 years 11 months ago
2008
Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and...
CCS
2008
ACM
14 years 26 days ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
CCS
2008
ACM
14 years 26 days ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...