Pavel Očenášek

2016

KARMAZÍN Jaromír and 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, vol. 9750. Toronto: Springer Verlag, 2016, pp. 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, pp. 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, pp. 384-388. ISBN 978-1-60595-112-6.
Detail

OČENÁŠEK Pavel and 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, pp. 1-3. ISBN 978-1-63439-365-2.
Detail

2013

OČENÁŠEK Pavel and ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, vol. 1, no. 7, 2013, pp. 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, pp. 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, vol. 2013, no. 307, pp. 451-454. ISSN 1660-9336.
Detail

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

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

OČENÁŠEK Pavel and 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, vol. 8030. Berlin Heidelberg: Springer Verlag, 2013, pp. 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, vol. 8030. Berlin Heidelberg: Springer Verlag, 2013, pp. 332-337. ISBN 978-3-642-39344-0. ISSN 0302-9743.
Detail

2012

OČENÁŠEK Pavel and Š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, pp. 1-4.
Detail

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

OČENÁŠEK Pavel and 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, pp. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336.
Detail

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

OČENÁŠEK Pavel and Š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, pp. 257-262. ISBN 978-0-615-73960-1.
Detail

OČENÁŠEK Pavel and HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, vol. 5, no. 1, 2012, pp. 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, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 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, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 359-365. ISBN 978-3-642-21792-0.
Detail

OČENÁŠEK Pavel and 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, pp. 1-4. ISBN 978-953-7138-21-9.
Detail

VOGEL Ivan, OČENÁŠEK Pavel and 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: Brno University of Technology, 2011, pp. 264-269. ISBN 978-80-214-4303-7.
Detail

VOGEL Ivan, ZEDEK František and 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, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743.
Detail

OČENÁŠEK Pavel and 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, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 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, pp. 115-118. ISBN 978-953-7138-20-2.
Detail

2010

OČENÁŠEK Pavel and 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, pp. 85-88. ISBN 978-1-4244-9674-7.
Detail

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

OČENÁŠEK Pavel and FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 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, pp. 98-101. ISBN 978-1-4244-9202-2.
Detail

OČENÁŠEK Pavel and 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, pp. 89-92. ISBN 978-1-4244-9674-7.
Detail

2009

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

OČENÁŠEK Pavel and Š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, vol. 2009. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
Detail

ŠVÉDA Miroslav, TRCHALÍK Roman and 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, pp. 131-136. ISSN 1474-6670.
Detail

OČENÁŠEK Pavel, TRCHALÍK Roman and Š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, vol. 2009. Ostrava: IFAC, 2009, pp. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670.
Detail

OČENÁŠEK Pavel and KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009, pp. 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, pp. 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, vol. 5616. Berlin: Springer Verlag, 2009, pp. 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, vol. 5068. Berlin: Springer Verlag, 2008, pp. 413-419. ISBN 978-3-540-70584-0.
Detail

OČENÁŠEK Pavel and 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, 2008, p. 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, vol. 5093. Berlin: Springer Verlag, 2008, pp. 324-327. ISBN 978-3-540-69734-3.
Detail

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

OČENÁŠEK Pavel and 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, 2008, p. 10. ISBN 978-80-7204-582-2.
Detail

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

TRCHALÍK Roman, OČENÁŠEK Pavel and ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 5. ISBN 978-80-214-3717-3.
Detail

2007

TRCHALÍK Roman and OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 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, pp. 312-317. ISBN 978-83-7493-340-7.
Detail

OČENÁŠEK Pavel and Š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, pp. 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, p. 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, 2007, p. 10. ISBN 80-7204-532-7.
Detail

OČENÁŠEK Pavel and TRCHALÍK Roman. 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, p. 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: Brno University of Technology, 2007, pp. 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: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
Detail

2006

OČENÁŠEK Pavel and Š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, p. 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: Slovak Academy of Science, 2006, pp. 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, vol. 1, no. 2, 2006, pp. 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, pp. 430-433. ISBN 960-8457-57-2.
Detail

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

OČENÁŠEK Pavel and 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, p. 3.
Detail

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

ŠVÉDA Miroslav, VRBA Radimír and 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, p. 6. ISBN 0-7695-2552-0.
Detail

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

OČENÁŠEK Pavel and 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-Technical University of Ostrava, 2006, pp. 401-404. ISBN 80-248-1066-2.
Detail

OČENÁŠEK Pavel and 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, pp. 329-331. ISBN 960-8457-57-2.
Detail

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

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

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

OČENÁŠEK Pavel and TRCHALÍK Roman. 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, pp. 395-399. ISBN 80-214-3163-6.
Detail

OČENÁŠEK Pavel and 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: Faculty of Information Technology BUT, 2006, pp. 166-173. ISBN 80-214-3287-X.
Detail

TRCHALÍK Roman and OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 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, pp. 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: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 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: Faculty of Informatics MU, 2005, p. 9.
Detail

OČENÁŠEK Pavel and 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, vol. 2005, no. 1, p. 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: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 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: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 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: Department of Information Systems FIT BUT, 2004.
Detail

2003

OČENÁŠEK Pavel. Verifikace bezpečnostních protokolů. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 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: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 229-231. ISBN 80-214-2114-2.
Detail