( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.

, и . ICST Workshops, стр. 2-3. IEEE Computer Society, (2014)

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.

Vasile Lica

Andreas Purath

Chutintorn Puranakanitstha

Gaetano Licata

Marta Anna Lica

 

Другие публикации лиц с тем же именем

Assuring Privacy in Surfing the Internet., и . SecITC, том 11359 из Lecture Notes in Computer Science, стр. 185-203. Springer, (2018)Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks., и . PNSE @ Petri Nets, том 1160 из CEUR Workshop Proceedings, стр. 91-110. CEUR-WS.org, (2014)MaRePhoR - An open access machine-readable phonetic dictionary for Romanian., , , и . SpeD, стр. 1-6. IEEE, (2017)AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols., , и . ICETE (2), стр. 686-691. SciTePress, (2018)Learned Lessons from Implementing an Android Client for the Cloud Signature Consortium API., , и . SECITC, том 12001 из Lecture Notes in Computer Science, стр. 227-240. Springer, (2019)A BitTorrent DHT Crawler., и . SACI, стр. 155-160. IEEE, (2019)CTL formula evaluation by term rewriting inversion., , , и . ECAI, стр. 1-10. IEEE, (2017)SABRES - A Proof of Concept for Enhanced Cloud Qualified Electronic Signatures., , , и . COMM, стр. 103-108. IEEE, (2020)Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study, , и . Proceedings of the 4th European Computing Conference, (2010)Tiny Network Intrusion Detection System with High Performance., , и . ECAI, стр. 1-6. IEEE, (2019)