2043 search results - page 120 / 409 » Reasoning About Security Models |
141
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...
188
click to vote
AC
1998
Springer
15 years 10 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...
167
click to vote
ACSAC
2000
IEEE
15 years 10 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...
149
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...
148
click to vote
PERCOM
2008
ACM
16 years 5 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...