Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

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

inglise keel
2026-03-26
116,87 € 166,96 €

-30% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

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äielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

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.

Lisateave

Kirjastaja OmniScriptum
Väljalaskeaasta 2026
Kaanetüüp Pehme kaanega
EAN 9786133180727
Kirjuta oma arvustus
Te vaatate: Obol (programming language): Programming Language, Obol, Ada (programming language)
Teie hinnang:

Goodreads'i arvustused

116,87 € 166,96 €