1597 search results - page 204 / 320 » Mental Models of Computer Security |
131
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
153
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
In access-control systems, policy rules conflict when they prescribe different decisions (ALLOW or DENY) for the same access. We present the results of a user study that demonstr...
110
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...
171
click to vote
EUC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Signcryption is a cryptographic primitive that aims at providing confidentiality and authentication simultaneously. Recently in May 2008, a scheme for identity based thre...
140
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...