468 search results - page 83 / 94 » Interactivity for Reactive Access Control |
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
CCS
2004
ACM
13 years 11 months ago
2004
ACM
Magnetic stripe cards are in common use for electronic payments and cash withdrawal. Reported incidents document that criminals easily pickpocket cards or skim them by swiping the...
NSDI
2007
13 years 9 months ago
2007
Access control misconfigurations are widespread and can result in damaging breaches of confidentiality. This paper presents TightLip, a privacy management system that helps user...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Unrestricted information flows are a key security weakness of current web design. Cross-site scripting, cross-site request forgery, and other attacks typically require that inform...
DBSEC
2001
13 years 8 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...