1779 search results - page 100 / 356 » A Formal Model of Data Privacy |
136
click to vote
CRITIS
2007
15 years 5 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
155
click to vote
AGENTS
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses improving the methodology introduced in Kushmerick’s paper about learning to remove internet advertisements. The aim is to reduce the model build time as we...
151
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
160
click to vote
ICEGOV
2007
ACM
15 years 8 months ago
2007
ACM
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
136
click to vote
ASM
1998
ASM
15 years 8 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...