8644 search results - page 402 / 1729 » On the Composition of Secure Systems |
188
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
218
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We analyze information leaks in the lookup mechanisms of structured peer-to-peer anonymous communication systems and how these leaks can be used to compromise anonymity. We show t...
230
click to vote
IDTRUST
2010
ACM
15 years 6 months ago
2010
ACM
Public Key technology is about multiple parties across different domains making assertions that can be chained together to make trust judgments. Today, the need for more interoper...
172
click to vote
IADIS
2003
15 years 9 months ago
2003
This paper describes the development of a software tool for detection of vulnerabilities in networked systems, using public available security resources. Our tool builds is knowle...
191
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Currently knownbasic anonymitytechniques dependon identity veri cation. If veri cation of user identities is not possible due to the related management overhead or a gene...