Fingerprint Fingerprint is based on mining the text of the persons scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Knowledge management Engineering & Materials Science
Model Mathematics
Model checking Engineering & Materials Science
Modeling Mathematics
Data structures Engineering & Materials Science
Computing Mathematics
Multi agent systems Engineering & Materials Science
Cryptographic protocols Mathematics

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2001 2013

Formalisation and verification of knowledge management in digital economy and organisations

Georgieva, L. & Zia, I. 2013 Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Springer, Vol. 462, p. 53-66 14 p. (Studies in Computational Intelligence; vol. 462)

Research output: Chapter in Book/Report/Conference proceedingChapter

Knowledge management
Model checking
Refining

Modelling of secure data transmission over a multichannel wireless network in alloy

Alabdali, A. M., Georgieva, L. & Michaelson, G. J. 2012 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) . IEEE, p. 785-792 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wireless local area networks (WLAN)
Data communication systems
data transmission
Wireless local area network (WLAN)
Data transmission

Modelling trusted web applications

Alzahrani, M. Y. & Georgieva, L. 2012 Agent and multi-agent systems. Technologies and applications. Springer, Vol. 7327, p. 524-533 10 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Web application
Model
Model checking
Multi-agent systems
Modeling

Modelling of security properties in Alloy

Georgieva, L. 2011 Ninth Annual Conference on Privacy, Security and Trust, PST 2011. IEEE, p. 52-54 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model
Session initiation protocol
First-order logic
Model analysis
Robustness

Domain engineering for automatic analysis of financial applications of cryptographic protocols

Georgieva, L. 2010 Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers. Vol. 6052 LNCS, p. 428- (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6052 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptographic protocols
engineering
Correctness
Engineering
Industry