1183 search results - page 6 / 237 » On flow-sensitive security types |
125
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
The A-GDH.2 and SA-GDH.2 authenticated group key
108
click to vote
ICITS
2009
15 years 1 months ago
2009
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
142
Voted
WOTE
2010
15 years 1 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
123
click to vote
CSFW
2006
IEEE
15 years 7 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...