756 search results - page 89 / 152 » Modeling Computational Security in Long-Lived Systems |
SACMAT
2004
ACM
14 years 3 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
CCS
2005
ACM
14 years 3 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...
IDTRUST
2009
ACM
14 years 4 months ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...
IH
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...