741 search results - page 114 / 149 » Verification of security protocols using LOTOS-method and ap... |
102
click to vote
CCS
2009
ACM
15 years 10 months 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...
149
click to vote
ICICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. For the application of large-scale mobile agents in a distributed environment, where a large number of computers are connected together to enable the large-scale sharing ...
144
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Voice over Internet Protocol (VoIP) is becoming a more available and popular way of communicating for Internet users. This also applies to Peer-to-Peer (P2P) systems and mergi...
119
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...
131
click to vote
PKC
2012
Springer
13 years 6 months ago
2012
Springer
We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...