Peter Ochsenschläger

Publications

168

Citations

H-Index

1996

Active since

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, formal verification, and formal methods.

Top concepts

Computer ScienceEngineeringFormal MethodsFormal VerificationSecurityCryptographyVerificationData SecurityAutomated ReasoningSystems Engineering

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

Engineering, Information Security, Formal Methods +10

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

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

Approximately satisfied properties of systems and simple language homomorphisms

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

Satisfied Properties, Combinatorics On Word, Automated Reasoning +4

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

Cryptographic Primitive, Engineering, Protocol Security +19

Binding telecooperation – a formal model for electronic commerce

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

Electronic Marketplace, Digital Marketing, Management +5

Rows per page

1–5 of 7