653 search results - page 69 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
SOUPS
2010
ACM
14 years 29 days ago
2010
ACM
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...