2043 search results - page 6 / 409 » Reasoning About Security Models |
140
click to vote
SPLC
2007
15 years 5 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...
140
click to vote
CSFW
2003
IEEE
15 years 9 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...
124
click to vote
CSFW
1999
IEEE
15 years 8 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...
133
click to vote
IEEEARES
2006
IEEE
15 years 10 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...
157
click to vote
ICEBE
2005
IEEE
15 years 10 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...