1771 search results - page 235 / 355 » An Aspect-Oriented Security Framework |
159
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
141
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...
179
click to vote
ICISS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
196
click to vote
IJNSEC
2010
15 years 1 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
158
click to vote
ARESEC
2011
14 years 6 months ago
2011
—With increasing amount of sensitive user data stored in social computing systems (SCSs) and lack of consensus on how it should be protected under meaningful control by the avera...