3420 search results - page 336 / 684 » A Language-Based Approach to Security |
197
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Demands to match security with performance in Web applications where access to shared data needs to be controlled dynamically make self-protecting security schemes attractive. Yet...
159
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Unauthorized rogue access points (APs), such as those brought into a corporate campus by employees, pose a security threat as they may be poorly managed or insufficiently secu...
213
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
163
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
173
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Motivated by a probe-vehicle based automotive traffic monitoring system, this paper considers the problem of guaranteed anonymity in a dataset of location traces while maintainin...