126 search results - page 10 / 26 » Formal Verification of FIRE: A Case Study |
IJNSEC
2010
14 years 4 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
84
Voted
FM
2008
Springer
14 years 11 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
90
Voted
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
ASIAN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
94
Voted
CSFW
2011
IEEE
13 years 9 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...