5475 search results - page 219 / 1095 » Model Driven Security |
117
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
132
click to vote
ESORICS
2003
Springer
15 years 9 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...
127
Voted
IJNSEC
2010
14 years 10 months ago
2010
Recently, design of Identity-based (ID-based) threshold signature schemes which are efficient and provably secure in the standard model has drawn great concerns. In this paper, an...
121
Voted
NSDI
2008
15 years 6 months ago
2008
In this paper, we discuss Bitfrost, the security model developed by the One Laptop Per Child project for its XO laptop computers. Bitfrost implements a number of security measures...
126
Voted
ECBS
2008
IEEE
15 years 10 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...