85 search results - page 6 / 17 » Modular Verification of Security Protocol Code by Typing |
SAINT
2003
IEEE
14 years 3 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
ESORICS
2008
Springer
13 years 11 months ago
2008
Springer
In authorization, there is often a wish to shift the burden of proof to those making requests, since they may have more resources and more specific knowledge to construct the requi...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
CSFW
2011
IEEE
12 years 9 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
WISTP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concer...