Mgr. Ing.
Pavel Očenášek
Ph.D.
Assistant professor
ocenaspa@fit.vut.cz
pavel.ocenasek@vut.cz
pavel@ocenasek.com
C305 Office
Publications
-
2021
OČENÁŠEK, P.; RAJECKÝ, M. Internet Censorship in China. LNCS / LNAI. Springer Verlag, 2021.
p. 0-0. Detail -
2019
OČENÁŠEK, P. Legislativa síťového monitoringu. Praha: 2019.
s. 0-0. Detail -
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. DetailOČ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. DetailOČ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. DetailOČ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.
p. 451-454. ISBN: 978-3-03785-659-8. ISSN: 1660-9336. DetailOČ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. DetailOČ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.
p. 326-331. ISBN: 978-3-642-39344-0. ISSN: 0302-9743. DetailOČ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. DetailOČ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. DetailOČ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.
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. DetailOČ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. DetailOČ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.
p. 870-873. ISBN: 978-3-03785-380-1. ISSN: 1660-9336. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailVOGEL, 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. DetailVOGEL, 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.
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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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.
p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670. DetailOČ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.
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.
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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailTRCHALÍ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailTRCHALÍ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.
p. 45 ( p.) ISBN: 0-7695-2540-7. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČENÁŠEK, P.; STUCHLÍK, R. Sémantický web tutorial. Brno: 2006.
s. 0-0. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailOČ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. DetailTRCHALÍ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. DetailTRCHALÍ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. DetailOČ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. DetailOČ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. DetailOČ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