Abstract. We report on a case study in applying different formal methods to model and verify an architec- ture for administrating digital signatures.
Jan 13, 2007 · We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures.
Contrary to common belief, the case study suggests that Z is well suited for temporal reasoning about process models with complex operations on data and ...
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures.
Verifying a signature architecture: a comparative case study
www.research-collection.ethz.ch › handle
Pages / Article No. 63 - 91. Publisher. Springer. Subject. Case study; Comparison; Formal methods; Model checking; Security; Theorem proving.
Abstract We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures.
We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures.
Verifying a Signature Architecture: A Comparative Case Study by David Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff.
Verifying a signature architecture: a comparative case study. D. Basin, H. Kuruma, K. Miyazaki, K. Takaragi, and B. Wolff.
Verifying a signature architecture : a comparative case study. Basin, D.; Kuruma, H.; Miyazaki, K.; Takaragi, K.; Wolff, B. Formal Aspects of Computing 19(1): ...