125 search results - page 10 / 25 » Integrating Formal Analysis and Design to Preserve Security ... |
RSP
2005
IEEE
14 years 1 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
CHARME
2003
Springer
14 years 25 days ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
ASE
2007
13 years 7 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...