3751 search results - page 18 / 751 » Events in security protocols |
CCS
2010
ACM
13 years 5 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
FC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We introduce a novel conditional e-cash protocol allowing future anonymous cashing of bank-issued e-money only upon the satisfaction of an agreed-upon public condition. P...
JPDC
2011
13 years 2 months ago
2011
We introduce a novel conditional e-cash protocol allowing future anonymous cashing of bank-issued e-money only upon the satisfaction of an agreedupon public condition. Payers are ...
COLING
2008
13 years 9 months ago
2008
This paper presents a fully operational real-time event extraction system which is capable of accurately and efficiently extracting violent and natural disaster events from vast a...
ACISP
2005
Springer
14 years 1 months ago
2005
Springer
We present a provably secure tree based authenticated group key agreement protocol in dynamic scenario. Bilinear pairing and multi-signature are at the heart of our protocol. We p...