( en | de | ru )

 

Disambiguation of "Siedlecka-Lamch, Olga"

Author of the publication

copydeleteadd this publication to your clipboard
Some Remarks on Security Protocols Verification Tools.

, , and . ISAT (2), volume 522 of Advances in Intelligent Systems and Computing, page 65-75. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nela Siedlecka

Renate Lamche

Üstün Olgay

Béatrice Lamche

Avirmediin Lamchav

 

Other publications of authors with the same name

Some Remarks on Security Protocols Verification Tools., , and . ISAT (2), volume 522 of Advances in Intelligent Systems and Computing, page 65-75. (2016)User Authentication Protocol Based on the Location Factor for a Mobile Environment., , , , and . IEEE Access, (2022)Verification of Mutual Authentication Protocol for MobInfoSec System., , , and . CISIM, volume 9339 of Lecture Notes in Computer Science, page 461-474. Springer, (2015)A Fast Method for Security Protocols Verification., , and . CISIM, volume 11703 of Lecture Notes in Computer Science, page 523-534. Springer, (2019)A New Effective Approach for Modelling and Verification of Security Protocols., , and . CS&P, volume 928 of CEUR Workshop Proceedings, page 191-202. CEUR-WS.org, (2012)VerSecTis - An Agent based Model Checker for Security Protocols., , , , and . AAMAS, page 2123-2125. International Foundation for Autonomous Agents and Multiagent Systems, (2020)SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols., , , and . PDCAT, page 320-327. IEEE, (2019)Interval Probabilities of State Transitions in Probabilistic Automata., and . ICAISC (2), volume 7268 of Lecture Notes in Computer Science, page 688-696. Springer, (2012)On Some Time Aspects in Security Protocols Analysis., , and . CN, volume 860 of Communications in Computer and Information Science, page 344-356. Springer, (2018)Secure Medical Data Storage with Blockchain Technology.. KES, volume 225 of Procedia Computer Science, page 961-968. Elsevier, (2023)