5374 search results - page 11 / 1075 » The induction of communication protocols |
103
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
139
Voted
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
144
click to vote
FORTE
2008
15 years 3 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
85
Voted
TPDS
1998
15 years 1 months ago
1998
—Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency ...
77
Voted
ICC
1997
IEEE
15 years 6 months ago
1997
IEEE
