Mgr. Ing.

Pavel Očenášek

Ph.D.

FIT, UIFS – odborný asistent

+420 54114 1322
ocenaspa@fit.vutbr.cz

Odeslat VUT zprávu

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

Publikace

  • 2016

    KARMAZÍN, J.; OČENÁŠEK, P. The state of Near-Field Communication (NFC) on the Android platform. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science #9750. Toronto: Springer Verlag, 2016. s. 247-254. ISBN: 978-3-319-39380-3.
    Detail | WWW

  • 2015

    OČENÁŠEK, P. Effective Synchronization of Data in Distributed Systems. In Information, Computer and Application Engineering. Leiden: CRC Press LLC, 2015. s. 177-180. ISBN: 978-1-138-02717-6.
    Detail | WWW

    OČENÁŠEK, P.; TRCHALÍK, R. System for Remote Monitoring of Engineering Services. In International Conference on Advances in Manufacturing and Materials Engineering (ICAMME 2014). Chennai: Elsevier Science, 2015. s. 1-3. ISBN: 978-1-63439-365-2.
    Detail | WWW

    OČENÁŠEK, P. Information and Communication Management in Business Information Systems. In 2015 International Conference on Simulation, Modelling and Mathematical Statistics (SMMS 2015). Lancaster: DEStech Publications, Inc., 2015. s. 384-388. ISBN: 978-1-60595-112-6.
    Detail | WWW

  • 2013

    OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, 2013, roč. 1, č. 7, s. 87-92. ISSN: 2227-1287.
    Detail

    OČENÁŠEK, P.; KARMAZÍN, J. On the Secure and Safe Data Synchronization. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. s. 326-331. ISBN: 978-3-642-39344-0.
    Detail

    OČENÁŠEK, P. The Practice of Global Internet Filtering. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. s. 332-337. ISBN: 978-3-642-39344-0.
    Detail

    OČENÁŠEK, P. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, 2013, roč. 2013, č. 307, s. 451-454. ISSN: 1660-9336.
    Detail

    OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, 2013, roč. 2013, č. 307, s. 478-481. ISSN: 1660-9336.
    Detail

  • 2012

    OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. In Proceedings of the 2012 ICMCM Conference. Dubaj: Trans Tech Publications Inc., 2012. s. 478-481. ISBN: 978-3-03785-659-8.
    Detail

    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: Siemens, Corporate Research and Development, 2012. s. 257-262. ISBN: 978-0-615-73960-1.
    Detail

    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: National Taiwan University, 2012. s. 1-5. ISBN: 978-3-03785-659-8.
    Detail

    OČENÁŠEK, P.; MÍCHAL, L. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. Applied Mechanics and Materials, 2012, roč. 2012, č. 157, s. 870-873. ISSN: 1660-9336.
    Detail

    OČENÁŠEK, P.; HRANÁČ, J. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, 2012, roč. 5, č. 1, s. 1-11. ISSN: 1816-613X.
    Detail

    OČENÁŠEK, P.; ŠVÉDA, M. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, 2012, roč. 2012, č. 38, s. 491-494. ISSN: 2070-1918.
    Detail

  • 2011

    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: Trans Tech Publications Inc., 2011. s. 1-4. ISBN: 978-3-03785-380-1.
    Detail

    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: Institute of Electrical and Electronics Engineers, 2011. s. 1-4. ISBN: 978-953-7138-21-9.
    Detail

    OČENÁŠEK, P. Specification of Traces in the Security Protocols Analysis. In Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. s. 115-118. ISBN: 978-953-7138-20-2.
    Detail

    OČ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. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. s. 366-373. ISBN: 978-3-642-21792-0.
    Detail

    OČENÁŠEK, P. Analysis of Authentication Protocols with Scyter: Case Study. In Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. s. 359-365. ISBN: 978-3-642-21792-0.
    Detail

    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. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. s. 374-378. ISBN: 978-3-642-21792-0.
    Detail

    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. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. s. 165-169. ISBN: 978-3-642-21792-0.
    Detail

    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: Brno University of Technology, 2011. s. 264-269. ISBN: 978-80-214-4303-7.
    Detail

  • 2010

    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: Institute of Electrical and Electronics Engineers, 2010. s. 85-88. ISBN: 978-1-4244-9674-7.
    Detail

    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: Institute of Electrical and Electronics Engineers, 2010. s. 98-101. ISBN: 978-1-4244-9202-2.
    Detail

    OČENÁŠEK, P.; HRANÁČ, J. Regression Based Logic for Authentication Protocol Design. In 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010. s. 89-92. ISBN: 978-1-4244-9674-7.
    Detail

    OČENÁŠEK, P.; FELIX, M. Camera and Sensor Monitoring System. In EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010. s. 241-245. ISBN: 978-80-214-4138-5.
    Detail

    OČENÁŠEK, P.; KUČEROVÁ, P. Analysis of Selected Payment Protocols. In EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010. s. 235-240. ISBN: 978-80-214-4138-5.
    Detail

  • 2009

    OČENÁŠEK, P.; TRCHALÍK, R.; ŠVÉDA, M. On the Implementation of Metrics in Industrial Embedded Systems. In Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. s. 157-160. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
    Detail

    OČENÁŠEK, P.; ŠVÉDA, M. AVISPA: Towards Practical Verification of Communication Properties. In Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. s. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
    Detail

    Š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. Programmable devices and systems. Ostrava: IFAC, 2009. s. 131-136. ISSN: 1474- 6670.
    Detail

    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. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. s. 764-767. ISBN: 978-3-642-02712-3.
    Detail

    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. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. s. 579-586. ISBN: 978-3-642-02555-6.
    Detail

    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. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. s. 149-153. ISBN: 978-3-642-02555-6.
    Detail

    OČENÁŠEK, P.; KUČEROVÁ, P. Payment Protocols Verification: A Case Study. In EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009. s. 38-43. ISBN: 978-80-214-3933-7.
    Detail

    OČENÁŠEK, P. Towards Security Issues in ZigBee Architecture. In Human Interface and the Management of Information. Designing Information Environments. Berlin: Springer Verlag, 2009. s. 587-593. ISBN: 978-3-642-02555-6.
    Detail

  • 2008

    OČENÁŠEK, P. Modification of Web Content According to the User Requirements. In Technologies for E-Learning and Digital Entertainment. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2008. s. 324-327. ISBN: 978-3-540-69734-3.
    Detail

    OČENÁŠEK, P. A Proxy-Based System for Translation of Internet Content into Specific Form. In Computer-Human Interaction. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2008. s. 413-419. ISBN: 978-3-540-70584-0.
    Detail

    OČENÁŠEK, P.; TRCHALÍK, R. Using AVISPA in the Education of Network Security. In EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008. s. 1-8. ISBN: 978-80-214-3717-3.
    Detail

    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: Brno University of Technology, 2008. s. 1-5. ISBN: 978-80-214-3717-3.
    Detail

    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: Akademické nakladatelství CERM sro., 2008. s. 1-10. ISBN: 978-80-7204-582-2.
    Detail

    OČ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: Akademické nakladatelství CERM sro., 2008. s. 1-9. ISBN: 978-80-7204-582-2.
    Detail

  • 2007

    OČENÁŠEK, P. Tools for Analysis and Simulation of Protocol Communication. In EDS ' 07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007. s. 87-91. ISBN: 978-80-214-3470- 7.
    Detail

    OČENÁŠEK, P. On the Design of Protocols in Electronic Commerce. In MIC 2007 Conference Proceedings. Portorož: 2007. s. 1-6. ISBN: 978-961-6573-88- 7.
    Detail

    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: The University of Technology Košice, 2007. s. 1-4. ISBN: 978-80-8073-805- 1.
    Detail

    OČENÁŠEK, P. Analysis of the Network Communication With OPNET. In Proceedings of the 16th International Conference on Systems Science: Volume II. Wroclaw: 2007. s. 312-317. ISBN: 978-83-7493-340- 7.
    Detail

    OČ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: 2007. s. 168-176. ISBN: 978-83-7493-341- 4.
    Detail

    TRCHALÍK, R.; OČENÁŠEK, P. Addressing and Routing in Sensor Networks. In Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. s. 1-4. ISBN: 978-80-8073-805- 1.
    Detail

    OČENÁŠEK, P. Wardriving: Detecting, Attacking, Securing. In Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. s. 1-4. ISBN: 978-80-8073-805- 1.
    Detail

    OČENÁŠEK, P. In Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM sro., 2007. s. 67-76. ISBN: 80-7204-532- 7.
    Detail

  • 2006

    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: IEEE Computer Society, 2006. s. 192-0. ISBN: 0-7695-2552- 0.
    Detail

    OČENÁŠEK, P.; STUCHLÍK, R. Sémantický web tutorial. Brno: 2006. s. 0-0.
    Detail

    OČENÁŠEK, P.; KUBÁT, L. Establishing Certified Quality System in Technology Companies. In EDS ' 06 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2006. s. 290-295. ISBN: 80-214-3246- 2.
    Detail

    OČENÁŠEK, P.; TRCHALÍK, R. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, 2006, roč. 1, č. 2, s. 360-362. ISSN: 1991- 8755.
    Detail

    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: World Scientific and Engineering Academy, 2006. s. 329-331. ISBN: 960-8457-57- 2.
    Detail

    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: 2006. s. 430-433. ISBN: 960-8457-57- 2.
    Detail

    OČENÁŠEK, P. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, 2006, roč. 1, č. 2, s. 325-328. ISSN: 1991- 8755.
    Detail

    OČENÁŠEK, P. Automatic Design of Security Protocols. In Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006. s. 49-54. ISBN: 80-969202-2- 7.
    Detail

    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: Faculty of Information Technology BUT, 2006. s. 166-173. ISBN: 80-214-3287- X.
    Detail

    Miroslav Sveda, Radimir Vrba, Pavel Ocenasek. Local Time Specifications of Networked Embedded Systems. In Proceedings of the Fifth International Conference on Networking (ICN 2006). IEEE Computer Society, 2006. s. 45 ( s.)ISBN: 0-7695-2540- 7.
    Detail

    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: VŠB- Technical University of Ostrava, 2006. s. 401-404. ISBN: 80-248-1066- 2.
    Detail

    OČENÁŠEK, P. Security Protocols: Analysis and Design. In Proceedings of the Junior Scientist Conference 2006. Vienna: TU Vienna, 2006. s. 51-52. ISBN: 3-902463-05- 8.
    Detail

    TRCHALÍK, R.; OČENÁŠEK, P. Metrics in Workflow Systems. In Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB- Technical University of Ostrava, 2006. s. 569-572. ISBN: 80-248-1066- 2.
    Detail

    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: Faculty of Electrical Engineering and Communication BUT, 2006. s. 395-399. ISBN: 80-214-3163- 6.
    Detail

    TRCHALÍK, R.; OČENÁŠEK, P. Zigbee Gateways. In Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. s. 410-414. ISBN: 80-214-3163- 6.
    Detail

    OČENÁŠEK, P.; OČENÁŠEK, J. Designing Secure Communications Using Evolutionary Approach. In Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006. s. 1-0.
    Detail

    Š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: IEEE Computer Society, 2006. s. 120-0. ISBN: 0-7695-2552- 0.
    Detail

  • 2005

    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: Faculty of Informatics MU, 2005. s. 1 ( s.)
    Detail | WWW

    OČENÁŠEK, P. The Security Protocol Design Using Genetic Algorithms Paradigms. In Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. s. 576-580. ISBN: 80-214-2890- 2.
    Detail

    OČENÁŠEK, P., TOUFAROVÁ, J. Zpřístupnění obsahu Internetu zrakově handicapovaným uživatelům. INFORUM 2005: 11. ročník konference o profesionálních informačních zdrojích, 2005, roč. 2005, č. 1, s. 1 ( s.)ISSN: 1801- 2213.
    Detail | WWW

    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: Springer Verlag, 2005. s. 147-156. ISBN: 1-84628-311- 6.
    Detail | WWW

    OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design [PhD abstract]. Brno: 2005.
    Detail

  • 2004

    OČENÁŠEK, P. On Inductive Approach in Security Protocol Verification. In Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004. s. 272-276. ISBN: 80-214-2635- 7.
    Detail

    OČENÁŠEK, P. Reasoning about Security Issues in Wireless Devices based on the IEEE 802. 11. In 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Faculty of Electrical Engineering and Communication BUT, 2004. s. 228-231. ISBN: 80-214-2701- 9.
    Detail

  • 2003

    OČENÁŠEK, P. Verifikace bezpečnostních protokolů. In Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT, 2003. s. 211-213. ISBN: 80-214-2377- 3.
    Detail

  • 2002

    OČENÁŠEK, P. Platformově nezávislé zabezpečení elektronické pošty. In Proceedings of the 8th Conference and Competition STUDENT EEICT 2002. Brno: Fakulta elektrotechniky a komunikačních technologií VUT, 2002. s. 229-231. ISBN: 80-214-2114- 2.
    Detail

*) Citace publikací se generují jednou za 24 hodin.