Peter Ochsenschläger

Statistics

Publications

Citations

168

H-Index

Active since

1996

Affiliations

Fraunhofer Institute for Secure Information Technology(Current)

Peter Ochsenschläger is an author at Fraunhofer Institute for Secure Information Technology specializing in computer science, computing, and formal methods.

Publications per year

1996–2005

Publications

On a formal framework for security properties

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph · Computer Standards & Interfaces · 2005 · 38 citations

Computing, Computer Science, Cybersecurity +14

The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems

Peter Ochsenschläger, Jürgen Repp, Roland Rieke · Formal Aspects of Computing · 1998 · 33 citations · Full text

Computing, Computer Engineering, Computer Science +13

Approximately satisfied properties of systems and simple language homomorphisms

Ulrich Ultes‐Nitsche, Peter Ochsenschläger · Information Processing Letters · 1996 · 26 citations

Computing, Computer Science, Mathematics +11

Role based specification and security analysis of cryptographic protocols using asynchronous product automata

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph · 2002 · 22 citations · Full text

Computing, Computer Engineering, Computer Science +17

Binding telecooperation – a formal model for electronic commerce

Rüdiger Grimm, Peter Ochsenschläger · Computer Networks · 2001 · 17 citations · Full text

Business, Computer Science, Information Systems +6

1–5 of 7