Networked and embedded systems research group

Publications

2012Grégr Matěj, Podermański Tomáš, Švéda Miroslav: User identification in IPV6 network, IP Networking 1 -- Theory and Practice, Žilina, SK, EDIS ŽU, 2012, p. 5-8, ISBN 978-80-554-0494-3
 Halfar Patrik, Ráb Jaroslav, Ryšavý Ondřej, Švéda Miroslav: A Formal Authorization Framework for Networked SCADA Systems, In: Proceedings IEEE ECBS 2012, Novy Sad, RS, IEEE CS, 2012, p. 298-302, ISBN 978-0-7695-4664-3
 Halfar Patrik, Švéda Miroslav: Networking in Cyber Physical Systems - A Concept Study, In: Proceedings of the International Workshop of Cyber Physical Systems, Bucharest, RO, 2012, p. 3
 Hranáč Jakub, Očenášek Pavel: Design of Authentication and Key Distribution Protocols with Routing Functionality, In: Journal of Information & Communication Technology, Vol. 5, No. 1, 2012, Karachi, PK, p. 1-11, ISSN 1816-613X
 Ryšavý Ondřej, Švéda Miroslav, Vrba Radimír: A Framework for Cyber-Physical Systems Design - A Concept Study, In: Proceedings ICONS 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 79-82, ISBN 978-1-61208-184-7
 Švéda Miroslav, Ryšavý Ondřej, De Silva Gayan, Matoušek Petr, Ráb Jaroslav: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, p. 39-53, ISBN 978-3-642-25205-1
 Švéda Miroslav, Sekletár Michal, Fidler Tomáš, Ryšavý Ondřej: A High-level Network-wide Router Configuration Language, In: Proceedings ICN 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 18-21, ISBN 978-1-61208-183-0
 Trchalík Roman, Švéda Miroslav: Unified Sensor Gateway Interconnection of Sensor Networks, In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy, Brno, CZ, 2012, p. 6
 Veselý Vladimír, Matoušek Petr, Švéda Miroslav: Multicast Simulation and Modeling in OMNeT++, In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques, Desenzano del Garda, IT, ICST, 2012, p. 298-301, ISBN 978-1-936968-47-3
 Veselý Vladimír, Švéda Miroslav: L2 protocols in OMNeT++, IP Networking 1 -- Theory and Practice, Žilina, SK, EDIS ŽU, 2012, p. 37-40, ISBN 978-80-554-0494-3
 Veselý Vladimír: Comparison Study on Merging PCAP Files, In: Proceedings of the 18th Conference Student EEICT 2012 Volume 3, Brno, CZ, FIT VUT, 2012, p. 457-461, ISBN 978-80-214-4462-1
2011Elich Martin, Grégr Matěj, Čeleda Pavel: Monitoring of Tunneled IPv6 Traffic Using Packet Decapsulation and IPFIX, In: Traffic Monitoring and Analysis, Vienna, AT, Springer, 2011, p. 64-71, ISBN 978-3-642-20304-6
 Grégr Matěj, Matoušek Petr, Podermański Tomáš, Švéda Miroslav: Practical IPv6 Monitoring - Challenges and Techniques, In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011), Dublin, IE, IEEE CS, 2011, p. 660-663, ISBN 978-1-4244-9220-6
 Grégr Matěj, Podermański Tomáš, Šoltés Miroslav, Žádník Martin: Design of Data Retention System in IPv6 network, FIT-TR-2011-07, Brno, CZ, FIT VUT, 2011, p. 20
 Grégr Matěj, Podermański Tomáš: Deploying IPv6 in University Campus Network - Practical Problems, Toulouse, FR, 2011, p. 7
 Grégr Matěj, Podermański Tomáš: Monitoring datových toků IPv6, Praha, CZ, 2011, p. 31
 Očenášek Pavel, Hranáč Jakub: Routing Functionality in the Logic Approach for Authentication Protocol Design, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 366-373, ISBN 978-3-642-21792-0
 Očenášek Pavel, Míchal Luboš: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011), Hongkong, HK, Trans Tech, 2011, p. 4, ISBN 978-3-03785-380-1
 Očenášek Pavel, Trchalík Roman: Approaches to the Security and Payment Protocols Design: State of the Art, In: International Conference on INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, HR, IEEE, 2011, p. 4, ISBN 978-953-7138-21-9
 Očenášek Pavel: An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 374-378, ISBN 978-3-642-21792-0
 Očenášek Pavel: Analysis of Authentication Protocols with Scyter: Case Study, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 359-365, ISBN 978-3-642-21792-0
 Očenášek Pavel: Specification of Traces in the Security Protocols Analysis, In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, HR, IEEE, 2011, p. 115-118, ISBN 978-953-7138-20-2
 Podermański Tomáš, Grégr Matěj: IPv6 Mýty a skutečnost, díl IV. - Podpora autokonfigurace, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański Tomáš, Grégr Matěj: IPv6 Mýty a skutečnost, díl VIII. - Přechodové mechanizmy, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 7, ISSN 1213-0702
 Podermański Tomáš, Grégr Matěj: IPv6 Mýty a skutečnost, díl VI. - Bezpečnostní mechanizmy, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 6, ISSN 1213-0702
 Podermański Tomáš, Grégr Matěj: IPv6 Mýty a skutečnost, díl V. - Zjednodušené hlavičky, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 6, ISSN 1213-0702
 Podermański Tomáš, Veselý Vladimír: IPv6 Mýty a skutečnost, díl VII. - Podpora Multicast a anycast provozu, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 10, ISSN 1213-0702
 Podermański Tomáš: IPv6 Mýty a skutečnost, díl II. - Adresový prostor, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański Tomáš: IPv6 Mýty a skutečnost, díl IX. - Quo Vadis, IPv6?, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański Tomáš: IPv6 Mýty a skutečnost, díl I. - Jak jsme na tom, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański Tomáš: IPv6 Mýty a skutečnost: díl III. - podpora end-to-end služeb, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański Tomáš: IPv6 - bezpečnostní hrozby (aneb IPSec to srovná), In: Sborník příspěvků z 38. konference EurOpen.CZ, 8.-11. května 2011, Plzeň, CZ, EurOpen.CZ, 2011, p. 37-50, ISBN 978-80-86583-21-1
 Podermański Tomáš: IPv6 - bezpečnostní hrozby, Brno, CZ, 2011, p. 48
 Podermański Tomáš: IPv6 - mýty a skutečnost, Brno, CZ, 2011, p. 65
 Podermański Tomáš: Security concerns and solutions with IPv6, Helsinki, FI, 2011, p. 20
 Polčák Libor, Grégr Matěj, Kajan Michal, Matoušek Petr, Veselý Vladimír: Designing Lawful Interception in IPv6 Networks, In: Security and Protection of Information, Brno, CZ, UNOB, 2011, p. 114-126, ISBN 978-80-7231-777-6
 Polčák Libor: Designing Lawful Interception System, In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2011, p. 569-573, ISBN 978-80-214-4273-3
 Švéda Miroslav, Ryšavý Ondřej, De Silva Gayan, Matoušek Petr, Ráb Jaroslav: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, p. 197-205, ISBN 978-0-7695-4379-6
 Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, p. 22-23, ISBN 978-84-693-9560-8
 Švéda Miroslav, Vrba Radimír: A Cyber-Physical System Design Approach, In: Proceedings of The Sixth International Conference on Systems - ICONS 2011, St. Maarten, AN, IARIA, 2011, p. 12-18, ISBN 978-1-61208-002-4
 Švéda Miroslav: Design Experience with Routing SW and Related Applications, In: Proceedings of The Tenth International Conference on Networks - ICN 2011, St. Maarten, AN, IARIA, 2011, p. 133-138, ISBN 978-1-61208-002-4
 Vogel Ivan, Očenášek Pavel, Zedek František: Computational molecular evolution - from mathematical models to novel distance metric based on intra-group analysis, In: EDS '11 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2011, p. 264-269, ISBN 978-80-214-4303-7
 Vogel Ivan, Zedek František, Očenášek Pavel: Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 165-169, ISBN 978-3-642-21792-0
2010Grégr Matěj: Portscan detection using NetFlow data, In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, p. 229-233, ISBN 978-80-214-4080-7
 Kornecki Andrew J., Grega Wojciech, Hilburn Thomas B., Thiriet Jean-Marc, Švéda Miroslav, Ryšavý Ondřej, Pilat Adam: Transatlantic Engineering Programs: An Experience in International Cooperation, Safeeullah Soomro (Editor): Engineering the Computer Science and IT, Vienna, AT, IN-TECH, 2010, p. 65-84, ISBN 978-953-307-012-4
 Matoušek Petr, Ryšavý Ondřej, De Silva Gayan, Danko Martin: Combination of Simulation and Formal Methods to Analyse Network Survivability, In: Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques, Malaga, ES, ICST, 2010, p. 6, ISBN 978-963-9799-87-5
 Očenášek Pavel, Felix Martin: Camera and Sensor Monitoring System, In: EDS '10 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2010, p. 241-245, ISBN 978-80-214-4138-5
 Očenášek Pavel, Hranáč Jakub: Regression Based Logic for Authentication Protocol Design, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 2010, p. 89-92, ISBN 978-1-4244-9674-7
 Očenášek Pavel, Kučerová Petra: Analysis of Selected Payment Protocols, In: EDS '10 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2010, p. 235-240, ISBN 978-80-214-4138-5
 Očenášek Pavel, Papež Zdeněk: A Knowledge-Belief Approach to the Security Protocol Analysis, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 2010, p. 85-88, ISBN 978-1-4244-9674-7
 Očenášek Pavel: Automated Design of Authentication and Key Distribution Protocols, Brno, CZ, UIFS FIT VUT, 2010, p. 113
 Očenášek Pavel: On the Design of Communication in Business Information Systems, In: Proceedings of 2010 International Conference on Economics, Business and Management, Chengdu, CN, IEEE, 2010, p. 98-101, ISBN 978-1-4244-9202-2
 Podermański Tomáš: Je libo IPv6 na přepínačích HP ProCurve ?, In: Lupa.cz, Vol. 2010, No. 1, Praha, CZ, p. 5, ISSN 1213-0702
 Podermański Tomáš: Redundance od síťové vrstvy až po zařízení (Maximum pro síťovou jistotu), In: CONNECT!, Vol. 10, No. 4, 2010, Brno, CZ, p. 18-20, ISSN 1211-3085
 Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr, Ráb Jaroslav, Čejka Rudolf: 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, p. 5-11, ISBN 978-989-8425-25-6
 Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr, Ráb Jaroslav: 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, p. 294-299, ISBN 978-0-7695-3979-9
 Švéda Miroslav, Trchalík Roman: Development of Interconnecting SW for Intranets and Fieldbuses, In: 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010, Pszczyna, PL, IFAC, 2010, p. 119-124, ISSN 1474-6670
 Švéda Miroslav, Vrba Radimír: An Embedded Application Regarded as Cyber-Physical System, In: Proceedings of the Fifth International Conference on Systems ICONS 2010, Les Menuires, FR, IEEE CS, 2010, p. 170-174, ISBN 978-0-7695-3980-5
 Švéda Miroslav: Fault Management Driven Design with Safety and Security Requirements, In: Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010, Oxford, GB, IEEE CS, 2010, p. 113-120, ISBN 978-0-7695-4005-4
 Švéda Miroslav: NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses, In: Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010, Athens, GR, INSTICC, 2010, p. 173-178, ISBN 978-989-8425-22-5
 Veselý Vladimír: Security Issues of Bootstrap Router Mechanism in Protocol Independent Multicast, In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, p. 239-243, ISBN 978-80-214-4080-7

Show all publications

Your IPv4 address: 38.107.179.218
Switch to IPv6 connection

DNSSEC [dnssec]