48 search results - page 8 / 10 » Practical static analysis for inference of security-related ... |
POPL
2006
ACM
14 years 6 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
FOAL
2007
ACM
13 years 10 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
ISSTA
2006
ACM
14 years 7 days ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
UIST
2005
ACM
13 years 11 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...