Jaroslav Ráb

According to our database, Jaroslav Ráb authored at least 8 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Improving security in SCADA systems through firewall policy analysis.

Ondrej Rysavý, Jaroslav Ráb, Miroslav Svéda

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

A Formal Authorization Framework for Networked SCADA Systems.

Ondrej Rysavý, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011

Reachability Analysis in Dynamically Routed Networks.

Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Static Analysis of Routing and Firewall Policy Configurations.

Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties.

Miroslav Svéda, Ondrej Rysavý, Petr Matousek, Jaroslav Ráb, Rudolf Cejka

Proceedings of the DCNET 2010 & OPTICS 2010 - Proceedings of the International Conference on Data Communication Networking and International Conference on Optical Communication Systems, Athens, Greece, July 26, 2010

2009

A formal model of composing components: the TLA⁺ approach.

Ondrej Rysavý, Jaroslav Ráb

Innov. Syst. Softw. Eng., 2009

2008

A component-based approach to verification of embedded control systems using TLA⁺.

Ondrej Rysavý, Jaroslav Ráb

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

A Formal Model for Network-Wide Security Analysis.

Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008