Broadcast Authentication Protocol Simulation Using Petri Nets

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Broadcast Authentication Protocol Simulation Using Petri Nets

Original language description

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.

Czech name

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

Czech description

Článek popisuje možnost modelování všesměrových autentizačních protokolů pomocí barvených Petriho sítí (CPN).

Type

D - Article in proceedings

CEP classification

JA - Electronics and optoelectronics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

RTT 2008

ISBN

978-80-227-2939-0

ISSN

—

e-ISSN

—

Number of pages

2

Pages from-to

—

Publisher name

STU v Bratislave

Place of publication

Bratislava

Event location

Vyhne

Event date

Sep 10, 2008

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—