Autor der Publikation

Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification.

, , , , , und . CNSA, Volume 89 von Communications in Computer and Information Science, Seite 152-163. Springer, (2010)

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.

Keine Personen gefunden für den Autorennamen Borisaniya, Bhavesh
Eine Person hinzufügen mit dem Namen Borisaniya, Bhavesh
 

Weitere Publikationen von Autoren mit dem selben Namen

A novel framework for intrusion detection in cloud., , , , und . SIN, Seite 67-74. ACM, (2012)A survey on security issues and solutions at different layers of Cloud computing., , , , und . The Journal of Supercomputing, 63 (2): 561-592 (2013)Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification., , , , , und . CNSA, Volume 89 von Communications in Computer and Information Science, Seite 152-163. Springer, (2010)Incorporating Honeypot for Intrusion Detection in Cloud Infrastructure., , , und . IFIPTM, Volume 374 von IFIP Advances in Information and Communication Technology, Seite 84-96. Springer, (2012)Collaborative IDS Framework for Cloud., , , und . I. J. Network Security, 18 (4): 699-709 (2016)A survey of intrusion detection techniques in Cloud., , , , , und . J. Network and Computer Applications, 36 (1): 42-57 (2013)