5015 search results - page 352 / 1003 » Model Checking a Path |
193
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
154
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
191
click to vote
INFSOF
2007
15 years 6 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
185
click to vote
EDOC
2005
IEEE
16 years 7 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
214
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...