1599 search results - page 186 / 320 » Program Analysis for Security and Privacy |
154
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
147
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
132
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
149
click to vote
CSFW
1995
IEEE
15 years 8 months ago
1995
IEEE
Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...
137
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...