1183 search results - page 85 / 237 » On flow-sensitive security types |
151
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
145
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
In a distributed sensor network, large number of sensors deployed which communicate among themselves to selforganize a wireless ad hoc network. We propose an energyefficient level...
128
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the problem of securing the delivery of scalable video streams so that receivers can ensure the authenticity (originality and integrity) of the video. Our focus is ...
172
click to vote
AFRICACRYPT
2010
Springer
15 years 11 months ago
2010
Springer
The market for RFID technology has grown rapidly over the past few years. Going along with the proliferation of RFID technology is an increasing demand for secure and privacy-prese...
144
click to vote
CSFW
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....