IOBOL - Imperativ OBOL

22.06.2004

Abstrakt:
Denne oppgaven beskriver IOBOL, et programmeringsspråk spesiallaget for å implementere sikkerhetsprotokoller. IOBOL bygger på abstraksjoner fra BAN-logikken, og kan oversettes til OBOL. Oppgaven beskriver designet av IOBOL, implementasjonen av en kompilator for språket og hvordan denne er integrert i OBOLs kjøreomgivelse.