Cookies help us deliver our services. By using our services, you agree to our use of cookies.
De En Es
Kundenservice: +49 (0) 551 - 547 24 0

Cuvillier Verlag

Publications, Dissertations, Habilitations & Brochures.
International Specialist Publishing House for Science and Economy

Cuvillier Verlag

Premiumpartner
De En Es
Titelbild-leitlinien
Departments
Book Series (74)
997
Humanities
1903
Natural Sciences
4998
Engineering
1494
Common
73
Common 67
Equestrian sports 5

Advanced Search
Aspect-oriented Security Engineering

Peter Amthor – Author profile

Peter Amthor ist promovierter Informatiker, er forscht und lehrt am Fachgebiet Verteilte Systeme und Betriebssysteme der Technischen Universität Ilmenau. Seine wissenschaftlichen Veröffentlichungen auf dem Gebiet sicherer IT-Systeme verfolgen das Ziel, formale Methoden für deren Entwurf, Analyse, Spezifikation und Implementierung einem breiten Spektrum von Anwendungen zugänglicher zu machen. Er unterrichtet Kurse in Betriebssystemen, verteilten Systemen, Systemsicherheit und modellbasiertem Security Engineering.

Peter Amthor holds a PhD in Computer Science. He works as a postdoctoral researcher in the Distributed Systems and Operating Systems group at Ilmenau University of Technology (Technische Universität Ilmenau), Germany. His publication work focuses on formal foundations of secure IT systems, with the aim of making formal methods for their design, analysis, specification, and implementation more accessible to a broad range of applications. He teaches courses in operating systems, distributed systems, systems security and model-based security engineering.

Contributed to the following publications

Aspect-oriented Security Engineering
Aspect-oriented Security Engineering
Peter Amthor
Author
ISBN-13 (Hard Copy): 978-3-73699-980-0
ISBN-13 (eBook): 978-3-73698-980-1
Price_print
EUR 59.90
Price_ebook
EUR 41.90
2019-03-05

▲ nach oben springen