Efficient automated testing of cryptographic protocols (English)
Free access
- New search for: Gürgens, S.
- New search for: Peralta, R.
- New search for: Gürgens, S.
- New search for: Peralta, R.
1998
- Report / Electronic Resource
-
Title:Efficient automated testing of cryptographic protocols
-
Contributors:Gürgens, S. ( author ) / Peralta, R. ( author )
-
Publisher:
- New search for: GMD Forschungszentrum Informationstechnik, Sankt Augustin
-
Publication date:1998
-
Type of media:Report
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: