Ing. Jaroslav Ráb
| 2012 | Halfar, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Authorization Framework for Networked SCADA Systems, In: Proceedings IEEE ECBS 2012, Novy Sad, RS, IEEE CS, 2012, s. 298-302, ISBN 978-0-7695-4664-3 |
| | Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, s. 39-53, ISBN 978-3-642-25205-1 |
| 2011 | Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, s. 197-205, ISBN 978-0-7695-4379-6 |
| 2010 | Švéda, M., Ryšavý, O., Matoušek, P., Ráb, J., Čejka, R.: SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties, In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010, Athens, GR, INSTICC, 2010, s. 5-11, ISBN 978-989-8425-25-6 |
| | Švéda, M., Ryšavý, O., Matoušek, P., Ráb, J.: An Approach for Automated Network-Wide Security Analysis, In: Proceedings of the Ninth International Conference on Networks ICN 2010, Les Menuires, FR, IEEE CS, 2010, s. 294-299, ISBN 978-0-7695-3979-9 |
| 2009 | Ráb, J., Ryšavý, O., Švéda, M.: On the Implementation of State-space Exploration Procedure in a Relational Database Management System, In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software, Mragowo, PL, IEEE CS, 2009, s. 151-156, ISBN 978-83-60810-22-4 |
| | Ryšavý, O., Ráb, J.: A Formal Model of Composing Components: The TLA+ Approach, In: Innovations in Systems and Software Engineering, roč. 5, č. 2, 2009, London, GB, s. 139-149, ISSN 1614-5046 |
| 2008 | Čejka, R., Matoušek, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Approach to Network Security Analysis, Brno, CZ, FIT VUT, 2008, s. 20 |
| | Matoušek, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Model for Network-wide Security Analysis, In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems, Belfast, GB, University of Ulster, 2008, s. 171-181, ISBN 0-7695-3141-5 |
| | Ryšavý, O., Ráb, J.: A Component-based Approach to Verification of Embedded Control Systems using TLA, In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology, Wisla, PL, ICSP, 2008, s. 719-725, ISBN 978-83-60810-14-9 |
| 2007 | Ráb, J.: Konsolidujte správu hlášení v síti, In: CONNECT!, roč. 12, č. 5, 2007, Brno, CZ, s. 64-65, ISSN 1211-3085 |
| | Ráb, J.: Proxy servery v praxi, In: CONNECT!, roč. 12, č. 2, 2007, Brno, CZ, s. 48-49, ISSN 1211-3085 |
Zobrazit všechny publikace |
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)