1599 search results - page 121 / 320 » Program Analysis for Security and Privacy |
157
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
164
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper provides a general and comprehensive approach to implementing misuse detection on expert systems and an in-depth analysis of the effectiveness of the optimization strat...
129
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Delta-certificate revocation lists (delta-CRLs) were designed to provide a more efficient way to distribute certificate status information. However, as this paper shows, in some e...
147
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
166
Voted
TDP
2010
14 years 10 months ago
2010
In recent years, spatio-temporal and moving objects databases have gained considerable interest, due to the diffusion of mobile devices (e.g., mobile phones, RFID devices and GPS ...