Sciweavers

147 search results - page 4 / 30
» A Framework for Regulation Comparison with Application to Ac...
Sort
View
SP
2006
IEEE
110views Security Privacy» more  SP 2006»
13 years 11 months ago
Privacy and Contextual Integrity: Framework and Applications
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
Adam Barth, Anupam Datta, John C. Mitchell, Helen ...
CCS
2006
ACM
13 years 9 months ago
Application security support in the operating system kernel
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
Manigandan Radhakrishnan, Jon A. Solworth
IPPS
1999
IEEE
13 years 10 months ago
A Novel Compilation Framework for Supporting Semi-Regular Distributions in Hybrid Applications
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
Dhruva R. Chakrabarti, Prithviraj Banerjee
KI
2009
Springer
14 years 11 days ago
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
Florian Pommerening, Stefan Wölfl, Matthias W...
SOSP
2003
ACM
14 years 2 months ago
Model-carrying code: a practical approach for safe execution of untrusted applications
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sande...