1027 search results - page 14 / 206 » Callgraph properties of executables |
SIGSOFT
2007
ACM
2007
ACM
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
14 years 10 months ago
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
AES
2004
Springer
14 years 3 months ago
2004
Springer
Rijndael is the new Advanced Encryption Standard designed by V. Rijmen and J. Daemen and chosen as AES by the NIST in October 2000. Surprisingly, the number of cryptanalyses agains...
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
IEEEARES
2009
IEEE
14 years 4 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...