5255 search results - page 274 / 1051 » Formal Methods for Privacy |
139
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
115
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
155
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
142
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Current Web technologies use access control lists (ACLs) for enforcing regulations and practices governing businesses today. Having the policy hard-coded into ACLs causes manageme...
116
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...