671 search results - page 14 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
111
click to vote
BPSC
2009
15 years 2 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
119
click to vote
WS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
115
click to vote
CRYPTO
2004
Springer
15 years 6 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
106
click to vote
ESORICS
2003
Springer
15 years 6 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
126
click to vote
ADHOCNOW
2009
Springer
15 years 2 months ago
2009
Springer
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard a de facto specification for inexpensive tags in the RFID industry. Recently three EPCGen2 complian...