Pavel Očenášek

Publikační výsledky

• 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. Lecture Notes in Computer Science. Toronto: Springer Verlag, 2016. p. 247-254. ISBN: 978-3-319-39380-3. ISSN: 0302-9743. Detail

• 2015

  OČENÁŠEK, P. 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. p. 177-180. ISBN: 978-1-138-02717-6. Detail

  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. p. 384-388. ISBN: 978-1-60595-112-6. Detail

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

• 2013

  OČENÁŠEK, P. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, 2013, vol. 2013, no. 307, p. 451-454. ISSN: 1660-9336. 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. Applied Mechanics and Materials. Hong Kong: National Taiwan University, 2013. no. 12, p. 451-454. ISBN: 978-3-03785-659-8. ISSN: 1660-9336. 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. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 332-337. ISBN: 978-3-642-39344-0. ISSN: 0302-9743. 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. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. no. 08, p. 326-331. ISBN: 978-3-642-39344-0. ISSN: 0302-9743. Detail

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

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

  OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. In Proceedings of the 2012 ICMCM Conference. Applied Mechanics and Materials. Dubaj: Trans Tech Publications Inc., 2013. no. 03, p. 478-481. ISBN: 978-3-03785-659-8. ISSN: 1660-9336. Detail

• 2012

  OČENÁŠEK, P.; HRANÁČ, J. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, 2012, vol. 5, no. 1, p. 1-11. ISSN: 1816-613X. 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, vol. 2012, no. 157, p. 870-873. ISSN: 1660-9336. Detail

  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). Applied Mechanics and Materials. Hongkong: Trans Tech Publications Inc., 2012. no. 03, p. 870-873. ISBN: 978-3-03785-380-1. ISSN: 1660-9336. Detail

  OČENÁŠEK, P.; ŠVÉDA, M. Analysis and Filtering of Network Communication in ISP Firewalls. Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science. Denpasar: Information Engineering Research Institute, 2012. p. 1-4. Detail

  OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012. p. 257-262. ISBN: 978-0-615-73960-1. Detail

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

• 2011

  OČENÁŠEK, P. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 374-378. ISBN: 978-3-642-21792-0. Detail

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

  OČENÁŠEK, P. Specification of Traces in the Security Protocols Analysis. Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 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. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 366-373. ISBN: 978-3-642-21792-0. Detail

  OČENÁŠEK, P.; TRCHALÍK, R. Approaches to the Security and Payment Protocols Design: State of the Art. International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 1-4. ISBN: 978-953-7138-21-9. Detail

  VOGEL, I.; OČENÁŠEK, P.; ZEDEK, F. Computational molecular evolution - from mathematical models to novel distance metric based on intra-group analysis. EDS '11 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2011. p. 264-269. ISBN: 978-80-214-4303-7. 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. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. no. 1, p. 165-169. ISBN: 978-3-642-21792-0. ISSN: 0302-9743. Detail

• 2010

  OČENÁŠEK, P. On the Design of Communication in Business Information Systems. Proceedings of 2010 International Conference on Economics, Business and Management. Chengdu: Institute of Electrical and Electronics Engineers, 2010. p. 98-101. ISBN: 978-1-4244-9202-2. Detail

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

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

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

  OČENÁŠEK, P.; PAPEŽ, Z. A Knowledge-Belief Approach to the Security Protocol Analysis. 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010. p. 85-88. ISBN: 978-1-4244-9674-7. Detail

• 2009

  OČENÁŠEK, P. An Approach for the Design of Secure Communication in Embedded Systems. Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. p. 579-586. ISBN: 978-3-642-02555-6. Detail

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

  OČENÁŠEK, P. Universal Access to the Internet Web Pages for Users with Special Needs. Universal Access in Human-Computer Interaction. Applications and Services. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. p. 764-767. ISBN: 978-3-642-02712-3. Detail

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

  OČENÁŠEK, P.; ŠVÉDA, M. A Model for Measurement and Analysis of the Workflow Processes. Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. p. 149-153. ISBN: 978-3-642-02555-6. Detail

  OČENÁŠEK, P.; ŠVÉDA, M. AVISPA: Towards Practical Verification of Communication Properties. 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. no. 2, p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670. Detail

  OČENÁŠEK, P.; TRCHALÍK, R.; ŠVÉDA, M. On the Implementation of Metrics in Industrial Embedded Systems. 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. no. 2, p. 157-160. 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. Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Programmable devices and systems. Ostrava: IFAC, 2009. no. 2, p. 131-136. ISSN: 1474-6670. Detail

• 2008

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

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

  OČENÁŠEK, P.; BRENER, R. Financial Portal: systém pro sledování a analýzu finančního trhu. 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

  OČENÁŠEK, P.; KUČEROVÁ, P. Srovnání platebních systémů v ČR a zahraničí. 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.; TRCHALÍK, R. Using AVISPA in the Education of Network Security. EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008. p. 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. EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008. p. 1-5. ISBN: 978-80-214-3717-3. Detail

• 2007

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

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

  OČENÁŠEK, P. Platební protokoly používané v elektronické komerci. 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

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

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

  OČENÁŠEK, P.; ŠIMEK, V. Determining Location of Target Within the Indoor Location System. Proceedings of the 16th International Conference on Systems Science: Volume III. Wroclaw: 2007. p. 168-176. ISBN: 978-83-7493-341-4. Detail

  OČENÁŠEK, P.; TRCHALÍK, R. Reasoning About Security Protocols in the ZigBee Standard. Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. p. 1-4. ISBN: 978-80-8073-805-1. Detail

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

• 2006

  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. 6 p. ISBN: 0-7695-2540-7. Detail

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

  OČENÁŠEK, P. Automatic System for Making Web Content Accessible for Visually Impaired Users. Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: 2006. p. 430-433. ISBN: 960-8457-57-2. Detail

  OČENÁŠEK, P. Business Service Networks: Communication and Security. MendelNET 2006. Brno: Mendel University of Agriculture and Forestry in Brno, 2006. p. 89-95. ISBN: 80-86851-62-1. Detail

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

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

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

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

  OČENÁŠEK, P.; ŠVÉDA, M. An Approach to Automated Design of Security Protocols. Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006. p. 192-195. ISBN: 0-7695-2552-0. Detail

  OČENÁŠEK, P.; TRCHALÍK, R. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006. p. 401-404. ISBN: 80-248-1066-2. Detail

  OČENÁŠEK, P.; TRCHALÍK, R. On the Implementation of Metrics in the Workflow System. Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: World Scientific and Engineering Academy, 2006. p. 329-331. ISBN: 960-8457-57-2. Detail

  OČENÁŠEK, P.; TRCHALÍK, R. The Use of Modal Logics in the Security Protocols Analysis. Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 395-399. ISBN: 80-214-3163-6. Detail

  OČENÁŠEK, P.; TRCHALÍK, R. Tracing Authentication Protocols Behavior: A Case Study. MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006. p. 166-173. ISBN: 80-214-3287-X. Detail

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

  ŠVÉDA, M.; VRBA, R.; OČENÁŠEK, P. Local Time Specifications of Networked Embedded Systems. Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006. p. 120-125. ISBN: 0-7695-2552-0. Detail

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

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

• 2005

  OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design. Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005. p. 147-156. ISBN: 1-84628-311-6. Detail

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

  OČENÁŠEK, P. Towards Selected Problems in the Security Protocol Design and Verification. Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005. p. 1-9. 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-8. ISSN: 1801-2213. Detail

• 2004

  OČENÁŠEK, P. On Inductive Approach in Security Protocol Verification. Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004. p. 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. 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Faculty of Electrical Engineering and Communication BUT, 2004. p. 228-231. ISBN: 80-214-2701-9. Detail

• 2003

  OČENÁŠEK, P. Verifikace bezpečnostních protokolů. 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, P. Platformově nezávislé zabezpečení elektronické pošty. 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