Searching for authors named "Guido Wimmel" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
A BDD-based Model Checker for the PEP Tool
- …A BDD-based Model Checker for the PEP Tool Guido Wimmel May 7, 1997 Major Individual Project…
- Cited by 11 (0 self) – Add To MetaCart
-
Formally Testing Fail-Safety of Electronic Purse Protocols (Extended Abstract)
- … Computing Laboratory, University of Oxford y Guido Wimmel Department of Computer Science, Munich…
- Add To MetaCart
-
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
- … Jürjens 1 and Guido Wimmel 2 1 Computing Laboratory, University of Oxford, email: jan@(email omitted); 2…
- Cited by 10 (8 self) – Add To MetaCart
-
Specification-based Test Generation for Security-Critical Systems Using Mutations
- …Specication-based Test Generation for Security-Critical Systems Using Mutations ? Guido Wimmel…
- Cited by 8 (2 self) – Add To MetaCart
-
Specification-Based Testing of Firewalls
- … and Guido Wimmel 2 1 Computing Laboratory, University of Oxford ? ? ? 2 Department of Computer Science…
- Cited by 10 (2 self) – Add To MetaCart
-
Formally Testing Fail-Safety of Electronic Purse Protocols
- … Computing Laboratory University of Oxford jan@(email omitted); Guido Wimmel Institut fur Informatik…
- Add To MetaCart
-
Towards Using Security Patterns in Model-based System Development
- … and Guido Wimmel Department of Computer Science, Munich University of Technology Arcisstrasse 21, D-80290…
- Add To MetaCart
-
Modelling Secure IT Systems - A Survey
- …Modelling Secure IT Systems--A Survey Johannes Grunbauer, Jan Jurjens, Guido Wimmel Software…
- Add To MetaCart
-
Extended Description Techniques For Security Engineering
- …EXTENDED DESCRIPTION TECHNIQUES FOR SECURITY ENGINEERING Guido Wimmel and Alexander Wisspeintner…
- Cited by 11 (5 self) – Add To MetaCart
-
Modelling and Verification of Layered Security Protocols: A Bank Application
- … , Helia Hollmann 2 , Jan Jurjens 1 , and Guido Wimmel 1 1 Department of Computer Science, Munich…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
