Auszug
Dieses Kapitel stellt ein PROLOG-Programm zur automatischen Attribut-Authentifizierung vor. Im Folgenden wird der Aufbau und die Bedienung des Programms erklärt. AuBerdem wird die Termination aller Programmläufe sowie die Korrektheit der durch das Programm abgeleiteten Antworten gezeigt.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Rights and permissions
Copyright information
© 2006 Deutscher Universitäts-Verlag | GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
(2006). PROLOG-Programm. In: Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen. DUV. https://doi.org/10.1007/978-3-8350-9338-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-8350-9338-6_8
Publisher Name: DUV
Print ISBN: 978-3-8350-0498-6
Online ISBN: 978-3-8350-9338-6
eBook Packages: Business and Economics (German Language)