1446 search results - page 153 / 290 » Formal analysis of hardware requirements |
91
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
89
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
90
Voted
RV
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
136
click to vote
SCS
2003
15 years 2 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
104
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...