671 search results - page 39 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ESORICS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
SCN
2010
Springer
14 years 8 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
FOSAD
2000
Springer
15 years 1 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
WORM
2003
14 years 11 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
150
click to vote
AICT
2010
IEEE
14 years 1 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...