3420 search results - page 174 / 684 » A Language-Based Approach to Security |
173
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
115
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
Traditional network security technologies such as firewalls and intrusion detection systems usually work according to a static ruleset only. We believe that a better approach to ...
120
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
161
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
140
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
A key agreement protocol is utilized in a network system such that two users are able to establish a commonly shared secret key. Entities within the same security level can commun...