526 search results - page 79 / 106 » A Z Based Approach to Verifying Security Protocols |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
DSOM
2006
Springer
13 years 11 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
PERCOM
2011
ACM
13 years 2 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
ITRUST
2004
Springer
14 years 1 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
ASIACRYPT
2004
Springer
14 years 1 months ago
2004
Springer
We consider the problem of securely computing the Greater Than (GT) predicate and its generalization – securely determining membership in a union of intervals. We approach these ...