Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Obol (programming language): Programming Language, Obol, Ada (programming language) -

englanti
2026-03-26
125,22 € 166,96 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 15-21 arkipäivässä

30 päivän palautusoikeus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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 a ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Lisätietoja

Julkaisija OmniScriptum
Julkaisuvuosi 2026
Kannen tyyppi Pehmeäkantinen
EAN 9786133180727
Kirjoita oma arvostelusi
Arvostelet: Obol (programming language): Programming Language, Obol, Ada (programming language)
Arvostelusi:

Goodreads-arvostelut

125,22 € 166,96 €