3811 search results - page 154 / 763 » The Safe-Tcl Security Model |
149
click to vote
ESAS
2007
Springer
16 years 19 days ago
2007
Springer
Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...
156
click to vote
BROADNETS
2006
IEEE
16 years 16 days ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
168
click to vote
FSE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...
174
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
157
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Within the security architecture of the 3GPP system there is a standardised encryption mode f8 based on the block cipher KASUMI. In this work we examine the pseudorandomness of the...