Bezpecnost a zabezpecení aplikací sítí vestavených systému
Hlavní resitel:Srovnal Vilém
Spoluresitelé:Bílek Jan, Svéda Miroslav
Dalsí resitelé:Dvorák Václav, Jaros Jirí, Ocenásek Pavel, Ráb Jaroslav, Rysavý Ondrej, Trchalík Roman
Agentura:GACR
Kód:GA102/08/1429
Zacátek:2008
Konec:2010
Klícová slova:bezpecnost, zabezpecení, vestavený systém, síte, vývojová prostredí 
Anotace:
Hlavním prínosem projektu je urcit jaký má význam spolehlivost a bezpecnost v sítích vestavených systému a výzkum metod a technologií, které je nutno pouzít pro jejich dosazení. Cílem je stanovit metody a technologie pro vývoj sítí vestavených systému s pozadavky na bezpecnost a spolehlivost vcetne jejich souvislost s pouzitím mezinárodních standardu. Dodrzování standardu je stále potrebnejsí v kazdodenní spolupráci v prostredí sítí vestavených systému. Pouzít a modifikovat perspektivní mezinárodní technologie a nástroje pro analýzu a modelování pro sledování cíle pri hodnocení vlastností bezpecnosti a spolehlivosti. Vývoj sítí vestavených systému nutne vyzaduje, aby vlastnosti sítí vestavených systému jako je bezpecnost a spolehlivost byly srovnány s odpovídajícími profily ochrany a bezpecnosti na základe obecného kriteria. Toto vyzaduje vyhodnocení príslusné úrovne zabezpecení a pak provedení aktuálního vyhodnocení. Vnejsí a vnitrní bezpecnost se stává stále více kritickou a stále více lidí je závislých na vestavených systémech z mnoha hledisek jejich zivota. Výrazná míra bezpecnosti umozní vestaveným systémum prenést a dorucit kritická data pouze tem, kterí by je meli obdrzet.

Publikace

2011Jaros, J., Dvorák, V.: Optimizing Collective Communications on the K-port Spidergon Network, In: Proceedings of the Sixth International Conference on Systems, ICONS 2011, St. Maarten, AN, IARIA, 2011, s. 24-29, ISBN 978-1-61208-002-4
2010Dvorák, V., Jaros, J.: Optimizing Collective Communications on 2D-Mesh and Fat Tree NoC, In: Proceedings of the Ninth International Conference on Networks ICN 2010, Piscataway, NJ, US, IEEE CS, 2010, s. 22-27, ISBN 978-0-7695-3979-9
 Dvorák, V., Mikusek, P.: Design of Arbiters and Allocators Based on Multi-Terminal BDDs, In: Journal of Universal Computer Science, roc. 16, c. 14, 2010, AT, s. 1826-1852, ISSN 0948-6968
 Dvorák, V.: Multi-Terminal BDDs in Microprocessor-Based Control, In: Proceedings ICINCO 2010, Funchal, Madeira, PT, INSTICC, 2010, s. 140-145, ISBN 978-989-8425-02-7
 Jaros, J., Dvorák, V.: Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs, In: Proceedings of 2010 Genetic and Evolutionary Computation Conference, New York, US, ACM, 2010, s. 1171-1178, ISBN 978-1-4503-0072-8
 Jaros, J.: Evolutionary Design of Collective Communications on Wormhole Networks, Brno, CZ, UPSY FIT VUT, 2010, s. 149
 Jaros, J.: Evolutionary Design of Collective Communications on Wormhole Networks, Brno, CZ, VUTIUM, 2010, s. 183, ISBN 978-80-214-4208-5
 Kornecki, A., J., Grega, W., Hilburn, T., B., Thiriet, J., Svéda, M., Rysavý, O., Pilat, A.: Transatlantic Engineering Programs: An Experience in International Cooperation, Safeeullah Soomro (Editor): Engineering the Computer Science and IT, Vienna, AT, IN-TECH, 2010, s. 65-84, ISBN 978-953-307-012-4
 Ocenásek, P., Felix, M.: Camera and Sensor Monitoring System, In: EDS '10 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brne, 2010, s. 241-245, ISBN 978-80-214-4138-5
 Ocenásek, P., Hranác, J.: Regression Based Logic for Authentication Protocol Design, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 2010, s. 89-92, ISBN 978-1-4244-9674-7
 Ocenásek, P., Kucerová, P.: Analysis of Selected Payment Protocols, In: EDS '10 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brne, 2010, s. 235-240, ISBN 978-80-214-4138-5
 Ocenásek, P., Papez, Z.: A Knowledge-Belief Approach to the Security Protocol Analysis, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 2010, s. 85-88, ISBN 978-1-4244-9674-7
 Ocenásek, P.: Automated Design of Authentication and Key Distribution Protocols, Brno, CZ, UIFS FIT VUT, 2010, s. 113
 Ocenásek, P.: On the Design of Communication in Business Information Systems, In: Proceedings of 2010 International Conference on Economics, Business and Management, Chengdu, CN, IEEE, 2010, s. 98-101, ISBN 978-1-4244-9202-2
 Svéda, M., Rysavý, O., Matousek, P., Ráb, J., Cejka, 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
 Svéda, M., Rysavý, O., Matousek, 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
 Svéda, M., Trchalík, R.: Development of Interconnecting SW for Intranets and Fieldbuses, In: IFAC-PapersOnLine, roc. 2010, c. 10, Laxenburg, AT, s. 119-124, ISSN 1474-6670
 Svéda, M., Vrba, 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, s. 170-174, ISBN 978-0-7695-3980-5
 Svéda, M.: 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, s. 113-120, ISBN 978-0-7695-4005-4
 Svéda, M.: 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, s. 173-178, ISBN 978-989-8425-22-5
2009Dvorák, V., Mikusek, P.: Optimalizace firmware pro vestavené logcké rízení, In: IFAC-PapersOnLine, roc. 2009, c. 1, Laxenburg, AT, s. 109-114, ISBN 978-3-902661-69-2, ISSN 1474-6670
 Grega, W., Hilburn, T., B., Kornecki, A., J., Rysavý, O., Svéda, M., Thiriet, J.: Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology, In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009, Valencia, ES, UPV, 2009, s. 5, ISBN 978-84-8363-428-8
 Jaros, J.: Evolutionary Optimization of Multistage Interconnection Networks Performance, In: Proceeding of Genetic and Evolutionary Computation Conference, GECCO 2009, New York, US, ACM, 2009, s. 1537-1544, ISBN 978-1-60558-325-9
 Kornecki, A., J., Hilburn, T., B., Grega, W., Svéda, M., Thiriet, J.: ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems, In: Journal of Automation, Mobile Robotics and Intelligent Systems, roc. 3, c. 1, 2009, PL, s. 66-71, ISSN 1897-8649
 Mikusek, P., Dvorák, V.: Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization, In: 12th EUROMICRO Conference on Digital System Design DSD 2009, Patras, GR, IEEE CS, 2009, s. 605-608, ISBN 978-0-7695-3782-5
 Mikusek, P.: Dekompozicní techniky pro aplikacne specifické systémy, In: Pocítacové architektury a diagnostika 2009, Zlín, CZ, UTB ve Zlíne, 2009, s. 118-123, ISBN 978-80-7318-847-4
 Mikusek, P.: Multi-Terminal BDD Synthesis and Applications, In: Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL), Prague, CZ, IEEE CS, 2009, s. 721-722, ISBN 978-1-4244-3892-1
 Ocenásek, P., Kucerová, P.: Payment Protocols Verification: A Case Study, In: EDS '09 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brne, 2009, s. 38-43, ISBN 978-80-214-3933-7
 Ocenásek, P., Ríha, T.: Review and Application of a Tool for Protocol Verification, Brno, CZ, 2009, s. 5
 Ocenásek, P., Svéda, M.: A Model for Measurement and Analysis of the Workflow Processes, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, s. 149-153, ISBN 978-3-642-02555-6
 Ocenásek, P., Svéda, M.: AVISPA: Towards Practical Verification of Communication Properties, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, s. 157-160, ISSN 1474-6670
 Ocenásek, P., Trchalík, R., Svéda, M.: On the Implementation of Metrics in Industrial Embedded Systems, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, s. 161-164, ISSN 1474-6670
 Ocenásek, P.: An Approach for the Design of Secure Communication in Embedded Systems, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, s. 579-586, ISBN 978-3-642-02555-6
 Ocenásek, P.: Towards Security Issues in ZigBee Architecture, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, s. 587-593, ISBN 978-3-642-02555-6
 Ocenásek, P.: Universal Access to the Internet Web Pages for Users with Special Needs, In: Universal Access in Human-Computer Interaction. Applications and Services, Berlin, DE, Springer, 2009, s. 764-767, ISBN 978-3-642-02712-3
 Ráb, J., Rysavý, O., Své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
 Rysavý, O., Ráb, J.: A Formal Model of Composing Components: The TLA+ Approach, In: Innovations in Systems and Software Engineering, roc. 5, c. 2, 2009, London, GB, s. 139-149, ISSN 1614-5046
 Svéda, M., Kornecki, A., J., Hilburn, T., B., Grega, W., Thiriet, J., Rysavý, O.: Real-Time Software-Intensive Systems Engineering: An International Perspective, In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009, Valencia, ES, UPV, 2009, s. 6, ISBN 978-84-8363-428-8
 Svéda, M., Trchalík, R., Ocenásek, P.: Design of Networked Embedded Systems: An Approach for Safety and Security, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, s. 131-136, ISSN 1474-6670
 Svéda, M., Vrba, R.: Meta-Design with Safe and Secure Embedded System Networking, In: International Journal On Advances in Security., roc. 2, c. 1, 2009, US, s. 8-15, ISSN 1942-2636
 Svéda, M., Vrba, R.: Specifications of Secure and Safe Embedded System Networks, In: 8th International Conference on Networks Proceedings ICN 2009, New York, NY, US, IEEE CS, 2009, s. 220-225, ISBN 978-0-7695-3552-4
 Svéda, M.: Fault Management for Secure Embedded Systems, In: International Conference on Systems Proceedings, ICONS 2009, New York, NY, US, IEEE CS, 2009, s. 23-28, ISBN 978-0-7695-3551-7
 Svéda, M.: Safe and Secure Networked Embedded Applications, In: Proceedings of the 4th International Conference on Broadband Communication, Wroclaw, PL, IEEE, 2009, s. 6, ISBN 978-83-7493-405-3
 Thiriet, J., Hilburn, T., B., Kornecki, A., J., Grega, W., Svéda, M.: Organization of a US-European Trans-national Degree in Engineering, In: J3eA - Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, roc. 2009, c. 1, Bruxelles, BE, s. 1-7, ISSN 1638-1963
 Trchalík, R.: A Component-Based model for Embedded Software, In: EDS '09 IMAPS CS International Conference Proceedings, Brno, CZ, CZ, VUT v Brne, 2009, s. 5, ISBN 978-80-214-3933-7
2008Cejka, R., Matousek, P., Ráb, J., Rysavý, O., Svéda, M.: A Formal Approach to Network Security Analysis, Brno, CZ, FIT VUT, 2008, s. 20
 Dvorák, V., Mikusek, P.: LUT Cascade-Based Implementation of Allocators, In: Proc. of the 25th Convention of EEE in Israel, New York, US, IEEE CS, 2008, s. 85-89, ISBN 978-1-4244-2482-5
 Dvorák, V.: Communication Performance of Mesh- and Ring-Based NoCs, In: Proceedings of the 7th Int. Conference on Networking, New York, US, IEEE CS, 2008, s. 156-161, ISBN 978-0-7695-3106-9
 Dvorák, V.: Embedded Firmware Development with Multi-Way Branching, In: Proc. of the 3rd Int. Coference on Systems, New York, US, IEEE CS, 2008, s. 317-322, ISBN 978-0-7695-3105-2
 Dvorák, V.: Implementation of Combinational and Sequential Functions in Embedded Firmware, In: International Journal of Software Engineering and Its Applications, roc. 2, c. 1, 2008, Daegu, KR, s. 43-54, ISSN 1738-9984
 Hilburn, T., B., Kornecki, A., J., Thiriet, J., Grega, W., Svéda, M.: An RSIC-SE2004 Curriculum Framework, In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software, Wisla, PL, IEEE CS, 2008, s. 633-638, ISBN 978-83-60810-14-9, ISSN 1896-7094
 Hilburn, T., B., Thiriet, J., Kornecki, A., J., Grega, W., Svéda, M.: Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees, In: Inovations, roc. 2008, c. 1, Arlington, VA, US, s. 29-42, ISBN 978-0-9741252-8-2, ISSN 1553-9911
 Jaros, J., Dvorák, V.: An Evolutionary Design Technique for Collective Communications on Optimal Diameter-Degree Networks, In: 2008 Genetic and Evolutionary Computational Conference GECCO, New York, US, ACM, 2008, s. 1539-1546, ISBN 978-1-60558-131-6
 Jaros, J.: Evolutionary Design of Fault Tolerant Collective Communications, In: Evolvable Systems: From Biology to Hardware, Berlin, DE, Springer, 2008, s. 261-272, ISBN 978-3-540-85856-0
 Kornecki, A., J., Grega, W., Thiriet, J., Svéda, M., Gonzales, A., Tharp, H.: Dependable Systems International Research and Educational Experience, Daytona Beach, US, EC EU, 2008, s. 20
 Kornecki, A., J., Hilburn, T., B., Grega, W., Thiriet, J., Svéda, M.: A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems, In: Proceedings of the 2008 ASEE Anual Conference & Exposition, Pittsburgh, PA, US, ASEE, 2008, s. 1359-1371, ISBN 0-87823-196-X
 Matousek, P., Ráb, J., Rysavý, O., Své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
 Mikusek, P., Dvorák, V.: On Lookup Table Cascade-Based Realizations of Arbiters, In: 11th EUROMICRO Conference on Digital System Design DSD 2008, Parma, IT, IEEE CS, 2008, s. 795-802, ISBN 978-0-7695-3277-6
 Mikusek, P., Dvorák, V.: On Lookup Table Cascade-Based Realizations of Arbiters, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2008, s. 261-261, ISBN 978-80-7355-082-0
 Ocenásek, P., Brener, R.: Financial Portal: systém pro sledování a analýzu financního trhu, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2008, s. 9, ISBN 978-80-7204-582-2
 Ocenásek, P., Kucerová, P.: Srovnání platebních systému v CR a zahranicí, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2008, s. 10, ISBN 978-80-7204-582-2
 Ocenásek, P., Trchalík, R.: Using AVISPA in the Education of Network Security, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brne, 2008, s. 8, ISBN 978-80-214-3717-3
 Ocenásek, P.: A Proxy-Based System for Translation of Internet Content into Specific Form, In: Computer-Human Interaction, Berlin, DE, Springer, 2008, s. 413-419, ISBN 978-3-540-70584-0
 Ocenásek, P.: Modification of Web Content According to the User Requirements, In: Technologies for E-Learning and Digital Entertainment, Berlin, DE, Springer, 2008, s. 324-327, ISBN 978-3-540-69734-3
 Pilat, A., Kornecki, A., J., Thiriet, J., Grega, W., Svéda, M.: Industry Feedback on Skills and Knowledge in Real-Time Software Engineering, In: Proceedings of the 19th EAEEIE Annual Conference, Tallin, EE, IEEE CS, 2008, s. 129-133, ISBN 978-1-4244-2009-4
 Rysavý, 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
 Svéda, M., Rysavý, O., Vrba, R.: Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design, Frontiers in Robotics, Automation and Control, Vienna, AT, IN-TECH, 2008, s. 151-164, ISBN 978-953-7619-17-6
 Svéda, M., Vrba, R.: Meta-Design Support for Safe and Secure Networked Embedded Systems, In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008, New York, US, IEEE CS, 2008, s. 69-74, ISBN 978-0-7695-3105-2
 Thiriet, J., Hilburn, T., B., Kornecki, A., J., Grega, W., Svéda, M.: Implementation for a US-European Trans-national Degree in Real-Time Software Engineering, In: Proceedings of the 19th EAEEIE Annual Conference, Tallin, EE, IEEE CS, 2008, s. 134-137, ISBN 978-1-4244-2009-4
 Trchalík, R., Ocenásek, P., Svéda, M.: Using MSC and SDL Languages for Description of Network Communication, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brne, 2008, s. 5, ISBN 978-80-214-3717-3

Vase IPv4 adresa: 107.22.25.119
Prepnout na IPv6 spojení

DNSSEC [dnssec]