. . . . "Simulace v\u0161esm\u011Brov\u00FDch autentiza\u010Dn\u00EDch protokol\u016F pomoc\u00ED Petriho s\u00EDt\u00ED"@cs . . "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. Protocol TESLA (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."@en . "Bratislava" . "Petri networks; authentication; networking"@en . . "978-80-227-2939-0" . "21230" . . "Van\u011Bk, Tom\u00E1\u0161" . "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. Protocol TESLA (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." . "RIV/68407700:21230/08:03146048" . "Broadcast Authentication Protocol Simulation Using Petri Nets"@en . "Broadcast Authentication Protocol Simulation Using Petri Nets" . "Slovensk\u00E1 technick\u00E1 univerzita v Bratislave" . . . "Vyhne" . "Broadcast Authentication Protocol Simulation Using Petri Nets" . . . "RTT 2008" . . . "2008-09-10+02:00"^^ . . "\u010Cl\u00E1nek popisuje mo\u017Enost modelov\u00E1n\u00ED v\u0161esm\u011Brov\u00FDch autentiza\u010Dn\u00EDch protokol\u016F pomoc\u00ED barven\u00FDch Petriho s\u00EDt\u00ED (CPN)."@cs . "358522" . . "2"^^ . "RIV/68407700:21230/08:03146048!RIV09-MSM-21230___" . "1"^^ . "Z(MSM6840770038)" . . "1"^^ . "[78A34CDEA49B]" . "Simulace v\u0161esm\u011Brov\u00FDch autentiza\u010Dn\u00EDch protokol\u016F pomoc\u00ED Petriho s\u00EDt\u00ED"@cs . "Broadcast Authentication Protocol Simulation Using Petri Nets"@en .