671 search results - page 64 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
142
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
132
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
When users run a group key exchange (GKE) protocol, they usually extract the key from some auxiliary (ephemeral) secret information generated during the execution. Strong corrupti...
141
click to vote
CONCURRENCY
2002
15 years 1 months ago
2002
: The accelerated development in Peer-to-Peer (P2P) and Grid computing has positioned them as promising next generation computing platforms. They enable the creation of Virtual Ent...
119
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
117
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...