( en | de | ru )

 

Disambiguierung von "Pura, Mihai-Lica"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.

, und . ICST Workshops, Seite 2-3. IEEE Computer Society, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vasile Lica

Andreas Purath

Chutintorn Puranakanitstha

Gaetano Licata

Marta Anna Lica

 

Weitere Publikationen von Autoren mit dem selben Namen

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