Pavel Očenášek

Publikace

• 2016

  KARMAZÍN Jaromír a OČENÁŠEK Pavel. 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, roč. 9750. Toronto: Springer Verlag, 2016, s. 247-254. ISBN 978-3-319-39380-3. ISSN 0302-9743.
  Detail

• 2015

  OČENÁŠEK Pavel. Effective Synchronization of Data in Distributed Systems. In: Information, Computer and Application Engineering - Proceedings of the International Conference on Information Technology and Computer Application Engineering, ITCAE 2014. Leiden: CRC Press LLC, 2015, s. 177-180. ISBN 978-1-138-02717-6.
  Detail

  OČENÁŠEK Pavel. 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

  OČENÁŠEK Pavel a TRCHALÍK Roman. 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

• 2013

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

  OČENÁŠEK Pavel. 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, 2013, s. 451-454. ISBN 978-3-03785-659-8. ISSN 1660-9336.
  Detail

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

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

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

  OČENÁŠEK Pavel a KARMAZÍN Jaromír. On the Secure and Safe Data Synchronization. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, roč. 8030. Berlin Heidelberg: Springer Verlag, 2013, s. 326-331. ISBN 978-3-642-39344-0. ISSN 0302-9743.
  Detail

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

• 2012

  OČENÁŠEK Pavel a ŠVÉDA Miroslav. 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: Information Engineering Research Institute, 2012, s. 1-4.
  Detail

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

  OČENÁŠEK Pavel a 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: Trans Tech Publications Inc., 2012, s. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336.
  Detail

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

  OČENÁŠEK Pavel a ŠVÉDA Miroslav. 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 Pavel a HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, roč. 5, č. 1, 2012, s. 1-11. ISSN 1816-613X.
  Detail

• 2011

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

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

  OČENÁŠEK Pavel a TRCHALÍK Roman. 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

  VOGEL Ivan, OČENÁŠEK Pavel a 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: Vysoké učení technické v Brně, 2011, s. 264-269. ISBN 978-80-214-4303-7.
  Detail

  VOGEL Ivan, ZEDEK František a 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. Lecture Notes in Computer Science, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743.
  Detail

  OČENÁŠEK Pavel a HRANÁČ Jakub. 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 366-373. ISBN 978-3-642-21792-0.
  Detail

  OČENÁŠEK Pavel. 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

• 2010

  OČENÁŠEK Pavel a PAPEŽ Zdeněk. 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 Pavel a KUČEROVÁ Petra. Analysis of Selected Payment Protocols. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2010, s. 235-240. ISBN 978-80-214-4138-5.
  Detail

  OČENÁŠEK Pavel a FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2010, s. 241-245. ISBN 978-80-214-4138-5.
  Detail

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

  OČENÁŠEK Pavel a HRANÁČ Jakub. 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

• 2009

  OČENÁŠEK Pavel a ŠVÉDA Miroslav. 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, roč. 5617. Berlin: Springer Verlag, 2009, s. 149-153. ISBN 978-3-642-02555-6.
  Detail

  OČENÁŠEK Pavel. 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, roč. 5617. Berlin: Springer Verlag, 2009, s. 579-586. ISBN 978-3-642-02555-6.
  Detail

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

  ŠVÉDA Miroslav, TRCHALÍK Roman a OČENÁŠEK Pavel. 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: IFAC, 2009, s. 131-136. ISSN 1474-6670.
  Detail

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

  OČENÁŠEK Pavel a KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2009, s. 38-43. ISBN 978-80-214-3933-7.
  Detail

  OČENÁŠEK Pavel. 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

  OČENÁŠEK Pavel. 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, roč. 5616. Berlin: Springer Verlag, 2009, s. 764-767. ISBN 978-3-642-02712-3.
  Detail

• 2008

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

  OČENÁŠEK Pavel a BRENER Radim. 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. 9. ISBN 978-80-7204-582-2.
  Detail

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

  OČENÁŠEK Pavel a TRCHALÍK Roman. Průmyslová bezdrátová síť ZigBee. Brno, 2008.
  Detail

  OČENÁŠEK Pavel a KUČEROVÁ Petra. 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. 10. ISBN 978-80-7204-582-2.
  Detail

  OČENÁŠEK Pavel a TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 8. ISBN 978-80-214-3717-3.
  Detail

  TRCHALÍK Roman, OČENÁŠEK Pavel a ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 5. ISBN 978-80-214-3717-3.
  Detail

• 2007

  TRCHALÍK Roman a OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1.
  Detail

  OČENÁŠEK Pavel. 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 Pavel a ŠIMEK Václav. 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

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

  OČENÁŠEK Pavel. Ontologie a sémantický web. Brno, 2007.
  Detail

  OČENÁŠEK Pavel. Platební protokoly používané v elektronické komerci. In: Management, Economics and Business Development in the New European Conditions. Brno: Akademické nakladatelství CERM sro., 2007, s. 10. ISBN 80-7204-532-7.
  Detail

  OČENÁŠEK Pavel a TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1.
  Detail

  OČENÁŠEK Pavel. Tools for Analysis and Simulation of Protocol Communication. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2007, s. 87-91. ISBN 978-80-214-3470-7.
  Detail

  OČENÁŠEK Pavel. Wardriving: Detecting, Attacking, Securing. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1.
  Detail

• 2006

  OČENÁŠEK Pavel a ŠVÉDA Miroslav. 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. 4. ISBN 0-7695-2552-0.
  Detail

  OČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovenská akademie věd, 2006, s. 49-54. ISBN 80-969202-2-7.
  Detail

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

  OČENÁŠEK Pavel. 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 Pavel. Business Service Networks: Communication and Security. In: MendelNET 2006. Brno: Mendelova zemědělská a lesnická univerzita v Brně, 2006, s. 7. ISBN 80-86851-62-1.
  Detail

  OČENÁŠEK Pavel a OČENÁŠEK Jiří. Designing Secure Communications Using Evolutionary Approach. In: Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006, s. 3.
  Detail

  OČENÁŠEK Pavel a KUBÁT Lubomír. Establishing Certified Quality System in Technology Companies. In: EDS '06 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2006, s. 290-295. ISBN 80-214-3246-2.
  Detail

  ŠVÉDA Miroslav, VRBA Radimír a OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, s. 6. ISBN 0-7695-2552-0.
  Detail

  TRCHALÍK Roman a OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 569-572. ISBN 80-248-1066-2.
  Detail

  OČENÁŠEK Pavel a TRCHALÍK Roman. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 401-404. ISBN 80-248-1066-2.
  Detail

  OČENÁŠEK Pavel a TRCHALÍK Roman. 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 Pavel a TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, roč. 1, č. 2, 2006, s. 360-362. ISSN 1991-8755.
  Detail

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

  OČENÁŠEK Pavel a STUCHLÍK Radek. Sémantický web tutorial. Brno, 2006.
  Detail

  OČENÁŠEK Pavel a TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 395-399. ISBN 80-214-3163-6.
  Detail

  OČENÁŠEK Pavel a TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Fakulta informačních technologií VUT v Brně, 2006, s. 166-173. ISBN 80-214-3287-X.
  Detail

  TRCHALÍK Roman a OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 410-414. ISBN 80-214-3163-6.
  Detail

• 2005

  OČENÁŠEK Pavel. 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

  OČENÁŠEK Pavel. The Security Protocol Design Using Genetic Algorithms Paradigms. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 576-580. ISBN 80-214-2890-2.
  Detail

  OČENÁŠEK Pavel. 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: Fakulta informatiky MU, 2005, s. 9.
  Detail

  OČENÁŠEK Pavel a TOUFAROVÁ Jana. 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, roč. 2005, č. 1, s. 8. ISSN 1801-2213.
  Detail

• 2004

  OČENÁŠEK Pavel. On Inductive Approach in Security Protocol Verification. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 272-276. ISBN 80-214-2635-7.
  Detail

  OČENÁŠEK Pavel. Reasoning about Security Issues in Wireless Devices based on the IEEE 802.11. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 228-231. ISBN 80-214-2701-9.
  Detail

  OČENÁŠEK Pavel. Využití stromových automatů při verifikaci bezpečnostních protokolů. Brno: Ústav informačních systémů FIT VUT v Brně, 2004.
  Detail

• 2003

  OČENÁŠEK Pavel. 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 v Brně, 2003, s. 211-213. ISBN 80-214-2377-3.
  Detail

• 2002

  OČENÁŠEK Pavel. 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 v Brně, 2002, s. 229-231. ISBN 80-214-2114-2.
  Detail