2043 search results - page 6 / 409 » Reasoning About Security Models |
SPLC
2007
13 years 11 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
CSFW
2003
IEEE
14 years 3 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
ICEBE
2005
IEEE
14 years 3 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...