1597 search results - page 124 / 320 » Mental Models of Computer Security |
126
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
169
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
143
click to vote
CIS
2007
Springer
15 years 10 months ago
2007
Springer
The session initiation protocol (SIP) is considered as the dominant signaling protocol for calls over the internet. However, SIP authentication typically uses HTTP digest authentic...
130
click to vote
BROADNETS
2006
IEEE
15 years 10 months 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...
113
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...