3821 search results - page 359 / 765 » A Security Model for Aglets |
176
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
194
click to vote
ICICS
2005
Springer
16 years 8 days ago
2005
Springer
Secure socket layer (SSL) is the most popular protocol to secure Internet communications. Since SSL handshake requires a large amount of computational resource, batch RSA was propo...
191
click to vote
SACMAT
2004
ACM
16 years 5 days ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
206
click to vote
EUROPKI
2004
Springer
16 years 4 days ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
162
click to vote
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
We present a very efficient multi-party computation protocol unconditionally secure against an active adversary. The security is maximal, i.e., active corruption of up to t < n/...