1597 search results - page 20 / 320 » Mental Models of Computer Security |
118
click to vote
SP
1996
IEEE
15 years 5 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
102
Voted
SP
1987
IEEE
15 years 5 months ago
1987
IEEE
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
119
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
COGSCI
2007
15 years 1 months ago
2007
In their article, Is the Brain a Quantum Computer,? Litt, Eliasmith, Kroon, Weinstein, and Thagard (2006) criticize the Penrose–Hameroff “Orch OR” quantum computational mode...