3811 search results - page 27 / 763 » The Safe-Tcl Security Model |
CSREASAM
2006
15 years 1 months ago
2006
IEEEIAS
2007
IEEE
15 years 6 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
IFIP
2009
Springer
15 years 6 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...
ESORICS
2003
Springer
15 years 5 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...
IJNSEC
2010
14 years 6 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...