360 search results - page 5 / 72 » ccs 2008 |
105
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
CCS
2008
ACM
15 years 2 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
84
Voted
ENTCS
2008
15 years 22 days 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...
71
Voted
CCS
2008
ACM
15 years 2 months 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
15 years 2 months 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 ...