148 search results - page 5 / 30 » ccs 2006 |
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Today, many applications require users from one organization to access data belonging to organizations. While traditional solutions offered for the federated and mediated database...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
In this paper, we position the correct way of using graphical models for enhancing cyber security analysis in enterprise networks. Graphical models can be powerful in representati...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Why measuring security? To make good decisions about how to design security countermeasures, to choose between alternative security architectures, and to improve security during d...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Since the formalization of ring signature by Rivest, Shamir and Tauman in 2001, there are lots of variations appeared in the literature. Almost all of the variations rely on the ra...