2043 search results - page 162 / 409 » Reasoning About Security Models |
113
Voted
CCS
2009
ACM
16 years 3 days ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
177
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
The cryptosystem recently proposed by Cramer and Shoup [CS98] is a practical public key cryptosystem that is secure against adaptive chosen ciphertext attack provided the Decision...
143
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
149
Voted
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
176
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...