2043 search results - page 120 / 409 » Reasoning About Security Models |
131
click to vote
ENTCS
2000
15 years 5 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
173
click to vote
AC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
156
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present an approach to secure compartmented data access over an untrusted network using a secure network computing architecture. We describe the architecture and...
138
click to vote
SOCIALCOM
2010
15 years 3 months ago
2010
Sharing life-log information in a social community has many advantages, both for the user and society. But sharing any type of personal information is a threat to privacy. In parti...
133
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
Research on security in Peer-to-Peer (P2P) systems is dominated by reputation-based solutions. These solutions propagate opinions about other peers in order to help identify the b...