3811 search results - page 230 / 763 » The Safe-Tcl Security Model |
167
click to vote
CSFW
2005
IEEE
16 years 6 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 ...
189
click to vote
ICICS
2005
Springer
16 years 3 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...
188
click to vote
SACMAT
2004
ACM
16 years 21 hour 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...
198
click to vote
EUROPKI
2004
Springer
15 years 12 months 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...
152
Voted
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/...