1599 search results - page 195 / 320 » Program Analysis for Security and Privacy |
188
click to vote
WISTP
2010
Springer
15 years 11 months ago
2010
Springer
Reliable, inexpensive, on-the-fly networks can be established using mobile ad-hoc network (MANET) technology. Such networks can be used in a wide variety of scenarios ranging from...
126
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
125
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
116
click to vote
CCS
2007
ACM
15 years 10 months 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 ...
137
click to vote
ISPEC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. With the increased use of Internet and information technology all over the world, there is an increased amount of criminal activities that involve computing and digital d...