Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Obol_(programming_language)> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Obol_(programming_language) abstract "Obol is a high-level security protocol programming language at the Computer Science department of the University of Tromsø.It is essentially executable BAN logic, i.e. it attempts to move the protocol implementation effort closer to the abstraction level where security protocols are analyzed.Thus it deals as little as possible with how messages are sent or represented, and instead focuses on content and transformations (e.g. encrypt/decrypt, sign/verify, send/receive).There is no BAN-ish analysis involved, but the distance from a BAN logic-style idealization and analysis result to an actual executing protocol instance is significantly shorter than with general purpose programming languages like C or Java.In its current form Obol is interpreted, implemented on Java via ANTLR. It features middleware-like components and allows invoking Common Lisp (ABCL) and Jython statements.".
- Obol_(programming_language) wikiPageExternalLink obol.sourceforge.net.
- Obol_(programming_language) wikiPageExternalLink Obol.
- Obol_(programming_language) wikiPageID "11635290".
- Obol_(programming_language) wikiPageRevisionID "509618243".
- Obol_(programming_language) hasPhotoCollection Obol_(programming_language).
- Obol_(programming_language) subject Category:Object-oriented_programming_languages.
- Obol_(programming_language) type ProgrammingLanguage.
- Obol_(programming_language) type Software.
- Obol_(programming_language) type Work.
- Obol_(programming_language) type CreativeWork.
- Obol_(programming_language) type InformationEntity.
- Obol_(programming_language) comment "Obol is a high-level security protocol programming language at the Computer Science department of the University of Tromsø.It is essentially executable BAN logic, i.e. it attempts to move the protocol implementation effort closer to the abstraction level where security protocols are analyzed.Thus it deals as little as possible with how messages are sent or represented, and instead focuses on content and transformations (e.g.".
- Obol_(programming_language) label "Obol (programming language)".
- Obol_(programming_language) sameAs m.02rm8p9.
- Obol_(programming_language) sameAs Q7075261.
- Obol_(programming_language) sameAs Q7075261.
- Obol_(programming_language) wasDerivedFrom Obol_(programming_language)?oldid=509618243.
- Obol_(programming_language) isPrimaryTopicOf Obol_(programming_language).