Jaroslav Ráb

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Complex Systems

Intrusion Detection

Top Venues

Publications

Ondrej Rysavý, Jaroslav Ráb, Miroslav Svéda
Improving security in SCADA systems through firewall policy analysis. FedCSIS (2013)
Ondrej Rysavý, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda
A Formal Authorization Framework for Networked SCADA Systems. ECBS (2012)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Reachability Analysis in Dynamically Routed Networks. ECBS (2011)
Miroslav Svéda, Ondrej Rysavý, Petr Matousek, Jaroslav Ráb, Rudolf Cejka
Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. DCNET/OPTICS (2010)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Static Analysis of Routing and Firewall Policy Configurations. ICETE (Selected Papers) (2010)
Ondrej Rysavý, Jaroslav Ráb
approach. Innov. Syst. Softw. Eng. 5 (2) (2009)
Ondrej Rysavý, Jaroslav Ráb
. IMCSIT (2008)
Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda
A Formal Model for Network-Wide Security Analysis. ECBS (2008)