2043 search results - page 47 / 409 » Reasoning About Security Models |
AAAI
1993
13 years 11 months ago
1993
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
PERCOM
2005
ACM
14 years 3 months ago
2005
ACM
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
CSFW
2008
IEEE
14 years 4 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
TIME
2002
IEEE
14 years 3 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
CL
2002
Springer
13 years 10 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...