1446 search results - page 16 / 290 » Formal analysis of hardware requirements |
103
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
113
click to vote
PDCAT
2007
Springer
15 years 8 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
121
Voted
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
128
click to vote
ICDCIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
121
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...