39 search results - page 4 / 8 » Integrating Automated and Interactive Protocol Verification |
SP
1998
IEEE
13 years 11 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
ACSD
2006
IEEE
13 years 9 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...