3420 search results - page 132 / 684 » A Language-Based Approach to Security |
139
click to vote
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
151
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
124
click to vote
IJISEC
2008
15 years 3 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
132
click to vote
HCSE
2010
15 years 1 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
125
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we present a framework for the design of steganographic schemes that can provide provable security by achieving zero Kullback-Leibler divergence between the cover a...