Frank Koob

According to our database, Frank Koob authored at least 7 papers between 1991 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A Formal Definition and a New Security Mechanism of Physical Unclonable Functions.

Rainer Plaga, Frank Koob

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

2008

Automating Interactive Protocol Verification.

Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2001

Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen.

Markus Ullmann, Frank Koob, Harald Kelter

Datenschutz und Datensicherheit, 2001

2000

Formal Methods Diffusion: Past Lessons and Future Prospects.

Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the Computer Safety, 2000

1998

The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.

Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the Applied Formal Methods, 1998

1996

Application of Formal Methods in the Scope of IT-Security.

Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the 15th International Conference on Computer Safety, 1996

1991

Object-Oriented Dialogue Modeling for Environmental Software Systems.

Ralf Denzer, Frank Koob, Gomal Kira

Proceedings of the Visualisierung von Umweltdaten, 1991