556 search results - page 53 / 112 » An Abstract Reduction Model for Computer Security Risk |
107
click to vote
ICCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
103
click to vote
AC
2000
Springer
14 years 11 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
106
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
112
click to vote
APWEB
2008
Springer
15 years 28 days ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...