2043 search results - page 125 / 409 » Reasoning About Security Models |
112
click to vote
ATVA
2010
Springer
15 years 28 days ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
Statistical models for tracking different moving bodies must be able to reason about occlusions in order to be effective. Representing the joint statistics across different bodies...
111
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
111
click to vote
UAI
2001
15 years 2 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
91
Voted
WETICE
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper explores generating and conveying confidence in enterprise security. An enterprise assurance framework provides a structure enterprise assurance evidence that strengthe...