Ing. Pavel Očenášek, Ph.D.

2013Očenášek, P., Švéda, M.: Communication in Business Information Systems - New Perspectives, In: International Academic Research Journal of Business and Management, Vol. 1, No. 7, 2013, AE, p. 87-92, ISSN 2227-1287
 Očenášek, P., Švéda, M.: Effective Design and Implementation of Distributed Business Information Systems, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 451-454, ISSN 1660-9336
 Očenášek, P., Švéda, M.: On the Effective Internet Communication Filtering, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 478-481, ISSN 1660-9336
2012Očenášek, P., Hranáč, J.: 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
 Očenášek, P., Míchal, L.: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Applied Mechanics and Materials, Vol. 2012, No. 157, Zurich, CH, p. 870-873, ISSN 1660-9336
 Očenášek, P., Švéda, M.: Analysis and Filtering of Network Communication in ISP Firewalls, In: Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science, Denpasar, ID, IERI, 2012, p. 1-4
 Očenášek, P., Švéda, M.: Communication in Business Information Systems - New Perspectives, In: Proceedings of ARC 2012 International Conference on Business and Management, Bangalore, IN, Siemens-R&D, 2012, p. 257-262, ISBN 978-0-615-73960-1
 Očenášek, P., Švéda, M.: On the Effective Internet Communication Filtering, In: Proceedings of the 2012 ICMCM Conference, Dubaj, AE, Trans Tech, 2012, p. 478-481, ISBN 978-3-03785-659-8
 Očenášek, P.: Effective Design and Implementation of Distributed Business Information Systems, In: Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics, Hong Kong, HK, NTO, 2012, p. 1-5, ISBN 978-3-03785-659-8
2011Očenášek, P., Hranáč, J.: 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, P., Míchal, L.: 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. 1-4, ISBN 978-3-03785-380-1
 Očenášek, P., Trchalík, R.: Approaches to the Security and Payment Protocols Design: State of the Art, In: International Conference on INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, HR, IEEE, 2011, p. 1-4, ISBN 978-953-7138-21-9
 Očenášek, P.: 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, P.: 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, P.: 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
 Vogel, I., Očenášek, P., Zedek, F.: 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, I., Zedek, F., Očenášek, P.: 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
2010Očenášek, P., Felix, M.: 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, P., Hranáč, J.: 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, P., Kučerová, P.: 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, P., Papež, Z.: 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, P.: Automated Design of Authentication and Key Distribution Protocols, Brno, CZ, UIFS FIT VUT, 2010, p. 113
 Očenášek, 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, p. 98-101, ISBN 978-1-4244-9202-2
2009Očenášek, P., Kučerová, P.: Payment Protocols Verification: A Case Study, In: EDS '09 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2009, p. 38-43, ISBN 978-80-214-3933-7
 Očenášek, P., Říha, T.: Review and Application of a Tool for Protocol Verification, Brno, CZ, 2009, p. 5
 Očenášek, P., Švé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, p. 149-153, ISBN 978-3-642-02555-6
 Očenášek, P., Švé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, p. 157-160, ISSN 1474-6670
 Očenášek, P., Trchalík, R., Švé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, p. 161-164, ISSN 1474-6670
 Očenášek, 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, p. 579-586, ISBN 978-3-642-02555-6
 Očenášek, P.: Towards Security Issues in ZigBee Architecture, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, p. 587-593, ISBN 978-3-642-02555-6
 Očenášek, 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, p. 764-767, ISBN 978-3-642-02712-3
 Švéda, M., Trchalík, R., Očenášek, 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, p. 131-136, ISSN 1474-6670
2008Očenášek, P., Brener, R.: Financial Portal: systém pro sledování a analýzu finančního trhu, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2008, p. 9, ISBN 978-80-7204-582-2
 Očenášek, P., Kučerová, P.: Srovnání platebních systémů v ČR a zahraničí, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2008, p. 10, ISBN 978-80-7204-582-2
 Očenášek, P., Trchalík, R.: Průmyslová bezdrátová síť ZigBee, Brno, CZ, 2008, p. 6
 Očenášek, P., Trchalík, R.: Using AVISPA in the Education of Network Security, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2008, p. 8, ISBN 978-80-214-3717-3
 Očenášek, P.: A Proxy-Based System for Translation of Internet Content into Specific Form, In: Computer-Human Interaction, Berlin, DE, Springer, 2008, p. 413-419, ISBN 978-3-540-70584-0
 Očenášek, P.: Modification of Web Content According to the User Requirements, In: Technologies for E-Learning and Digital Entertainment, Berlin, DE, Springer, 2008, p. 324-327, ISBN 978-3-540-69734-3
 Trchalík, R., Očenášek, P., Švéda, M.: Using MSC and SDL Languages for Description of Network Communication, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2008, p. 5, ISBN 978-80-214-3717-3
2007Očenášek, P., Šimek, V.: Determining Location of Target Within the Indoor Location System, In: Proceedings of the 16th International Conference on Systems Science: Volume III, Wroclaw, PL, 2007, p. 168-176, ISBN 978-83-7493-341-4
 Očenášek, P., Trchalík, R.: Reasoning About Security Protocols in the ZigBee Standard, In: Proceedings of the 8th International Carpathian Control Conference, Košice, SK, TU v Košiciach, 2007, p. 4, ISBN 978-80-8073-805-1
 Očenášek, P.: Analysis of the Network Communication With OPNET, In: Proceedings of the 16th International Conference on Systems Science: Volume II, Wroclaw, PL, 2007, p. 312-317, ISBN 978-83-7493-340-7
 Očenášek, P.: On the Design of Protocols in Electronic Commerce, In: MIC 2007 Conference Proceedings, Portorož, SI, 2007, p. 6, ISBN 978-961-6573-88-7
 Očenášek, P.: Ontologie a sémantický web, Brno, CZ, 2007, p. 6
 Očenášek, P.: Platební protokoly používané v elektronické komerci, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2007, p. 10, ISBN 80-7204-532-7
 Očenášek, P.: Tools for Analysis and Simulation of Protocol Communication, In: EDS '07 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2007, p. 87-91, ISBN 978-80-214-3470-7
 Očenášek, P.: Wardriving: Detecting, Attacking, Securing, In: Proceedings of the 8th International Carpathian Control Conference, Košice, SK, TU v Košiciach, 2007, p. 4, ISBN 978-80-8073-805-1
 Trchalík, R., Očenášek, P.: Addressing and Routing in Sensor Networks, In: Proceedings of the 8th International Carpathian Control Conference, Košice, SK, TU v Košiciach, 2007, p. 4, ISBN 978-80-8073-805-1
2006Očenášek, P., Kubát, L.: Establishing Certified Quality System in Technology Companies, In: EDS '06 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2006, p. 290-295, ISBN 80-214-3246-2
 Očenášek, P., Očenášek, J.: Designing Secure Communications Using Evolutionary Approach, In: Genetic and Evolutionary Computation Conference GECCO 2006, Seattle, WA, US, ACM, 2006, p. 3
 Očenášek, P., Stuchlík, R.: Sémantický web tutorial, Brno, CZ, 2006, p. 48
 Očenášek, P., Švéda, M.: An Approach to Automated Design of Security Protocols, In: Proceedings of the International Conference on Networking (ICN 2006), Los Alamitos, US, IEEE CS, 2006, p. 4, ISBN 0-7695-2552-0
 Očenášek, P., Trchalík, R.: Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison, In: Proceedings of the 7th International Carpathian Control Conference, Ostrava, CZ, VŠB TU, 2006, p. 401-404, ISBN 80-248-1066-2
 Očenášek, P., Trchalík, R.: On the Implementation of Metrics in the Workflow System, In: Proceedings of the 6th International Conference on Applied Computer Science, Puerto De La Cruz, ES, WSEAS, 2006, p. 329-331, ISBN 960-8457-57-2
 Očenášek, P., Trchalík, R.: On the Implementation of Metrics in the Workflow System, In: WSEAS Transactions on Computers Research, Vol. 1, No. 2, 2006, Athens, GR, p. 360-362, ISSN 1991-8755
 Očenášek, P., Trchalík, R.: The Use of Modal Logics in the Security Protocols Analysis, In: Proceedings of the 12th Conference STUDENT EEICT 2006, Brno, CZ, FEKT VUT, 2006, p. 395-399, ISBN 80-214-3163-6
 Očenášek, P., Trchalík, R.: Tracing Authentication Protocols Behavior: A Case Study, In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Mikulov, CZ, FIT VUT, 2006, p. 166-173, ISBN 80-214-3287-X
 Očenášek, P.: Automatic Design of Security Protocols, In: Počítačové architektúry & diagnostika 2006, Bratislava, SK, SAV, 2006, p. 49-54, ISBN 80-969202-2-7
 Očenášek, P.: Automatic System for Making Web Content Accessible for Visually Impaired Users, In: WSEAS Transactions on Computers Research, Vol. 1, No. 2, 2006, Athens, GR, p. 325-328, ISSN 1991-8755
 Očenášek, P.: Automatic System for Making Web Content Accessible for Visually Impaired Users, In: Proceedings of the 6th International Conference on Applied Computer Science, Puerto De La Cruz, ES, 2006, p. 430-433, ISBN 960-8457-57-2
 Očenášek, P.: Business Service Networks: Communication and Security, In: MendelNET 2006, Brno, CZ, MZLU, 2006, p. 7, ISBN 80-86851-62-1
 Očenášek, P.: Security Protocols: Analysis and Design, In: Proceedings of the Junior Scientist Conference 2006, Vienna, AT, TUV, 2006, p. 51-52, ISBN 3-902463-05-8
 Švéda, M., Vrba, R., Očenášek, P.: Local Time Specifications of Networked Embedded Systems, In: Proceedings of the International Conference on Systems (ICONS 2006), Los Alamitos, US, IEEE CS, 2006, p. 6, ISBN 0-7695-2552-0
 Trchalík, R., Očenášek, P.: Metrics in Workflow Systems, In: Proceedings of the 7th International Carpathian Control Conference, Ostrava, CZ, VŠB TU, 2006, p. 569-572, ISBN 80-248-1066-2
 Trchalík, R., Očenášek, P.: Zigbee Gateways, In: Proceedings of the 12th Conference STUDENT EEICT 2006, Brno, CZ, FEKT VUT, 2006, p. 410-414, ISBN 80-214-3163-6
2005Očenášek, P., Toufarová, J.: Zpřístupnění obsahu Internetu zrakově handicapovaným uživatelům, In: INFORUM 2005: 11. ročník konference o profesionálních informačních zdrojích, Vol. 2005, No. 1, Praha, CZ, p. 8, ISSN 1801-2213
 Očenášek, P.: Evolutionary Approach in the Security Protocols Design [PhD abstract], Brno, CZ, UIFS FIT VUT, 2005, p. 16
 Očenášek, P.: Evolutionary Approach in the Security Protocols Design, In: Proceedings of the First European Conference on Computer Network Defence, University of Glamorgan, GB, Springer, 2005, p. 147-156, ISBN 1-84628-311-6
 Očenášek, P.: The Security Protocol Design Using Genetic Algorithms Paradigms, In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005, Brno, CZ, FEKT VUT, 2005, p. 576-580, ISBN 80-214-2890-2
 Očenášek, P.: Towards Selected Problems in the Security Protocol Design and Verification, In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), Brno, CZ, FI MUNI, 2005, p. 9

Show all publications

Your IPv4 address: 107.22.156.205
Switch to IPv6 connection

DNSSEC [dnssec]