3811 search results - page 259 / 763 » The Safe-Tcl Security Model |
171
click to vote
JCS
2010
15 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
160
click to vote
LCN
2007
IEEE
16 years 28 days ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
165
click to vote
ACISP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose new instantiations of chosen-ciphertext secure identitybased encryption schemes with wildcards (WIBE). Our schemes outperform all existing alternatives in term...
164
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
187
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a non-interactive chosen ciphertext secure threshold encryption system. The proof of security is set in the standard model and does not use random oracles. Our...