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

• 2015

  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. 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

  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. s. 177-180. ISBN: 978-1-138-02717-6.
  Detail | WWW

• 2013

  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. s. 478-481. ISBN: 978-3-03785-659-8. ISSN: 1660-9336.
  Detail

  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.; ŠVÉDA, M. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, 2013, roč. 2013, č. 307, s. 478-481. 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. s. 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. s. 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. s. 326-331. ISBN: 978-3-642-39344-0. ISSN: 0302-9743.
  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

• 2012

  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. s. 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, roč. 2012, č. 38, s. 491-494. ISSN: 2070-1918.
  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.; 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. s. 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. s. 1-4.
  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. s. 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. s. 359-365. ISBN: 978-3-642-21792-0.
  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. s. 366-373. 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. EDS '11 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2011. s. 264-269. ISBN: 978-80-214-4303-7.
  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. s. 1-4. ISBN: 978-953-7138-21-9.
  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. s. 165-169. ISBN: 978-3-642-21792-0. ISSN: 0302-9743.
  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. s. 115-118. ISBN: 978-953-7138-20-2.
  Detail

• 2010

  OČENÁŠEK, P.; FELIX, M. Camera and Sensor Monitoring System. 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. EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010. s. 235-240. ISBN: 978-80-214-4138-5.
  Detail

  OČENÁŠEK, P. Automated Design of Authentication and Key Distribution Protocols. Brno: Department of Information Systems FIT BUT, 2010. s. 0-0.
  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. s. 89-92. ISBN: 978-1-4244-9674-7.
  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. s. 85-88. ISBN: 978-1-4244-9674-7.
  Detail

  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. s. 98-101. ISBN: 978-1-4244-9202-2.
  Detail

• 2009

  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. s. 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. s. 157-160. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
  Detail

  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. s. 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. s. 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. s. 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. s. 38-43. ISBN: 978-80-214-3933-7.
  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. s. 131-136. ISSN: 1474-6670.
  Detail

  OČENÁŠEK, P.; ŘÍHA, T. Review and Application of a Tool for Protocol Verification. Brno: 2009. s. 1-5.
  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. s. 149-153. ISBN: 978-3-642-02555-6.
  Detail

• 2008

  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. 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. 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. EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008. s. 1-8. ISBN: 978-80-214-3717-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

  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. 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čí. 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. Průmyslová bezdrátová síť ZigBee. Brno: 2008. s. 1-6.
  Detail

• 2007

  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. s. 1-4. ISBN: 978-80-8073-805-1.
  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. s. 1-4. ISBN: 978-80-8073-805-1.
  Detail

  OČENÁŠEK, P. On the Design of Protocols in Electronic Commerce. MIC 2007 Conference Proceedings. Portorož: 2007. s. 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. s. 87-91. ISBN: 978-80-214-3470-7.
  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. s. 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. s. 168-176. ISBN: 978-83-7493-341-4.
  Detail

  OČENÁŠEK, P. Analysis of the Network Communication With OPNET. 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. Ontologie a sémantický web. Brno: 2007. s. 1-6.
  Detail

• 2006

  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. s. 401-404. ISBN: 80-248-1066-2.
  Detail | WWW

  Š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. s. 120-125. ISBN: 0-7695-2552-0.
  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. s. 395-399. ISBN: 80-214-3163-6.
  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. s. 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. s. 192-195. ISBN: 0-7695-2552-0.
  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. s. 166-173. ISBN: 80-214-3287-X.
  Detail | WWW

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

  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 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. s. 430-433. ISBN: 960-8457-57-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. s. 329-331. ISBN: 960-8457-57-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.; KUBÁT, L. Establishing Certified Quality System in Technology Companies. EDS '06 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2006. s. 290-295. ISBN: 80-214-3246-2.
  Detail | WWW

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

  OČENÁŠEK, P. Business Service Networks: Communication and Security. MendelNET 2006. Brno: Mendel University of Agriculture and Forestry in Brno, 2006. s. 89-95. ISBN: 80-86851-62-1.
  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

  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. s. 569-572. ISBN: 80-248-1066-2.
  Detail | WWW

  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. s. 410-414. ISBN: 80-214-3163-6.
  Detail

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

• 2005

  OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design [PhD abstract]. Brno: Department of Information Systems FIT BUT, 2005. s. 0-0.
  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. s. 576-580. ISBN: 80-214-2890-2.
  Detail

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

  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. s. 1-9.
  Detail | WWW

  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 | WWW

• 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. 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. 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

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

• 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

  OČENÁŠEK, P. Verifikace bezpečnostních protokolů. Brno: Fakulta informačních technologií VUT v Brně, 2003. s. 0-0.
  Detail | WWW

• 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

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