Philip Spassov

Introduction

Short CV

Insert CV here

Full profile

This is the longer CV, presenting education, work experience, etc.

Publications

Sibilio, Eleonora. Formal Methods for Wireless Systems. Vol. PhD Thesis. Verona, Italy: Dipartimento di Informatica, Universit`a di Verona, 2011.

Abadi, Martin, and Bruno Blanchet. "Analyzing Security Protocols with Secrecy Types and Logic Programs." Journal of the ACM 52, no. 1 (2005): 102-146.

Roman, Rodrigo, M.Carmen Fernandez-Zago, Javier Lopez, and Chen Hsiao-Hwa. "Trust and Reputation Systems for Wireless Sensor Networks." In Security and Privacy in Mobile and Wireless Networking, 105-127. Leicester, UK: Troubador, 2009.

Balakrishnan, Venkat, Vijay Varadharajan, and Uday Tupakula. "Trust Management in Mobile Ad Hoc Networks." In Guide to Wireless Ad Hoc Networks, 473-502. London: Springer, 2009.

Vasudevan, Sudarshan, Jim Kurose, and Don Towsley. Design and Analysis of a Leader Election Algorithm for Mobile Ad Hoc Networks In Proceedings of the 12th IEEE International Conference on Network Protocols, ICNP 2004. IEEE Computer Society, 2004.

Hentea, Mariana. "Intelligent System for Information Security Management: Architecture and Design Issues." Issues in Informing Science & Information Technology 4 (2007): 29-40.

Anifowose, Fatai Adesina, and Safiriyu Ibiyemi Eludiora. "Application of Artificial Intelligence in Network Intrusion Detection." World Applied Programming 2, no. 3 (2012): 158-166.

Multi-Agent Based Approach for Botnet Detection in a Corporate Area Network Using Fuzzy Logic In Computer Networks Communications in Computer and Information Science, Proceedings of the 20th International Conference on Computer Networks CN 2013. Vol. 370. Lwówek Śląski, Poland, 2013.

S., Lysenko, Savenko O., A. Kryshchuk, and Y. Klyots. Botnet detection technique for corporate area network In Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems. Berlin, DE: IEEE, 2013.

Pereverzeva, Inna. Formal Development of Resilient Distributed Systems. Vol. PhD Dissertation. Turku, Finland: Abo Akademi University, Faculty of Science and Engineering, 2015.

Laprie, Jean-Claude. Resilience for the Scalability of Dependability In Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications, NCA'05., 2005.

Abrial, Jean-Raymond. The B-Book: Assigning Programs to Meanings . Cambridge, UK: Cambridge University Press, 1996.

Abrial, Jean-Raymond. Modeling in Event-B: System and Software Engineering. Cambridge, UK: Cambridge University Press, 2010.

Iliasov, Alexei, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, and Timo Latvala. "Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.

Tarasyuk, Anton, Elena Troubitsyna, and Linas Laibinis. Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B In Proceedings of the International Conference on Integrated Formal Methods, IFM 2012., 2012.

Prokhorova, Yuliya, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, and Timo Latvala. Derivation and Formal Verification of a Mode Logic for Layered Control Systems In Proceedings of the 18th Asia-Pacific Software Engineering Conference, APSEC 2011. IEEE, 2011.

Pereverzeva, Inna, Elena Troubitsyna, and Linas Laibinis. Formal Goal-Oriented Development of Resilient MAS in Event-B In Proceedings of 17th International Conference on Reliable Software Technologies. Berlin, Heidelberg: Springer-Verlag, 2012.

Avgeriou, Paris. Software Engineering for Resilient Systems In Proceedings of 4th International Workshop on SERENE 2012. Berlin, Heidelberg: Springer-Verlag, 2012.

Simulation Framework in Python., 2016.

Gordieiev, Oleksandr, Taras Lobur, and Ruslan Kozak. "Integrating Cisco Systems’ Educational Programs in ICT Security Academic Curricula." Information & Security: An International Journal 35, no. 2 (2016): 151-163.

Multivendor and Academic Consortium: The European ICT competencies Frame and Multi-user Technology One Computer In Technical Report (in Russian)., 2016.

Growth of IT-specialists Quantity on the Separate Types of the Certification Programs. Monster Blog, 2016.

"Review of European Standards on ICT competences." Information Management (in Russian) 7 (2013): 30-35.

Networking Academy Course List. Cisco Networking Academy, 2016.

Certifications In The Cisco Learning Network., 2016.

Useful links

Biomedical Data Journal

http://www.biomed-data.eu

INTEGRITY IN DEFENCE & SECURITY

https://defenceintegrity.eu

Evocs project

http://evocs-project.eu

Association of the Officers in the Reserve “Atlantic”

http://www.atlantic-bg.org

Centre for National Security and Defence Research

http://cnsdr.bas.bg

AFCEA International

http://www.afcea.org

AFCEA Sofia

http://www.afcea-bg.org

AFCEA Varna

http://www.afcea.bg

George C. Marshall Association - Bulgaria

http://www.gcmarshall.bg/

Institute of Information and Communication Technologies

http://iict.bas.bg

Bulgarian Academy of Sciences

http://www.bas.bg

“G.S. Rakovski” Defence Academy

http://rnda.armf.bg

PfP Consortium

http://www.pfp-consortium.org/

Data Journals

http://datajournals.eu/

Connections: The Quarterly Journal

http://connections-qj.org

Security and Defence Management

http://defencemanagement.org

IT for Security Department

http://it4sec.org

DCAF

http://www.dcaf.ch/

2025 Security and Defence Management- This is a Free Drupal Theme
Ported to Drupal for the Open Source Community by Drupalizing, a Project of More than (just) Themes. Original design by Simple Themes.

Philip Spassov

Introduction

Pages

Information & Security journal

Previews

On Inequalities Bounding Imprecision and Nonspecificity Measures of Uncertainty

On the Effectiveness of Measures of Uncertainty of Basic Belief Assignments

Blockchain in Agriculture

Multi-UAV Mission Planning for Monitoring Critical Infrastructures Considering Failures and Cyberattacks

A Hybrid Intrusion Detection with Decision Tree for Feature Selection

European Conflict Analysis Project (ECAP)

Generalized Net Model of the Water Resources Assessment Process and Water Use Management

News

Closing the Call on National Case Studies in Organizing Cybersecurity

CfP on Education & Training for Cybersecurity and Resilience

CfP on Crisis Management Policies, Organisation and Capabilities

EvoCS project webiste launched

Call for Papers on Heart Failure and Stress Response

Standing Call for Papers for the Biomedical Data Journal

Call for Papers on Brain Disorders announced

Call for Papers on High Throughput Drug Screening

The Winter 2014 issue of Connections now online

Call for Papers on Evolving Concepts of Security

Popular content

Useful links

Partner sites

Philip Spassov

Introduction

Pages

Search form

Information & Security journal

Previews

News

Popular content

Useful links

Partner sites