( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs.

, , , и . AINA Workshops, стр. 496-501. IEEE Computer Society, (2018)

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.

Ons Mbarek

Ons Bouachir

Herbert Onstein

Jost Onstein

Mohammed Ali Onsory

 

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

A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs., , , и . EMCIS, том 381 из Lecture Notes in Business Information Processing, стр. 391-402. Springer, (2019)Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs., , , и . ARES, стр. 52:1-52:7. ACM, (2021)A Security Mechanism Against the RSU Compromise Attack in a Ticket-Based Authentication Scheme for VANETs., , , и . EMCIS, том 381 из Lecture Notes in Business Information Processing, стр. 403-416. Springer, (2019)Formal Validation of a Security Mechanism against the RSU Compromise Attack., , , и . ARES, стр. 54:1-54:8. ACM, (2021)Towards a Privacy Preserving and Flexible Scheme for Assessing the Credibility and the Accuracy of Safety Messages Exchanged in VANETs., , , и . ARES, стр. 55:1-55:9. ACM, (2018)A Ticket-Based Authentication Scheme for VANETs Preserving Privacy., , , и . ADHOC-NOW, том 10517 из Lecture Notes in Computer Science, стр. 77-91. Springer, (2017)Towards the Optimization of a Ticket-based Authentication Scheme for VANETs., , , и . COMNET, стр. 1-4. IEEE, (2018)Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs., , , и . AINA Workshops, стр. 496-501. IEEE Computer Society, (2018)