Simulace všesměrových autentizačních protokolů pomocí Petriho sítí

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F08%3A03146048" target="_blank" >RIV/68407700:21230/08:03146048 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Broadcast Authentication Protocol Simulation Using Petri Nets
Popis výsledku v původním jazyce
This paper deals with the task of modeling the broadcast authentication protocols using Colored Petri Nets. CPN is a special instance of orientated graph that enables to describe data flows and information dependencies inside of modeled systems. ProtocolTESLA (Time Efficient Stream Loss-tolerant Authentication) as an example of broadcast authenticating protocol was used to show how Color Petri Nets can be used to create a functional model of the protocol.
Název v anglickém jazyce
Broadcast Authentication Protocol Simulation Using Petri Nets
Popis výsledku anglicky
This paper deals with the task of modeling the broadcast authentication protocols using Colored Petri Nets. CPN is a special instance of orientated graph that enables to describe data flows and information dependencies inside of modeled systems. ProtocolTESLA (Time Efficient Stream Loss-tolerant Authentication) as an example of broadcast authenticating protocol was used to show how Color Petri Nets can be used to create a functional model of the protocol.

Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)