( en | de | ru )

 

Disambiguierung von "Alves-Foss, Jim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Effect of Rebalancing on the Performance of a Group Key Agreement Protocol.

, , und . LCN, Seite 983-989. IEEE Computer Society, (2006)

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.

Rainer Foß

Rainer Foß

Luciana Foss

Björn Foss

Jim Wilenius

 

Weitere Publikationen von Autoren mit dem selben Namen

Applying the layered decision model to the design of language-based security systems., und . IRI, Seite 182-187. IEEE Systems, Man, and Cybernetics Society, (2006)Mechanical Verification of Secure Distributed Systems in Higher Order Logic., und . TPHOLs, Seite 263-278. IEEE Computer Society, (1991)Formal Reasoning About Intrusion Detection Systems., , , , und . RAID, Volume 3224 von Lecture Notes in Computer Science, Seite 278-295. Springer, (2004)Formal Grammar for Java., und . Formal Syntax and Semantics of Java, Volume 1523 von Lecture Notes in Computer Science, Seite 1-40. Springer, (1999)The verification of secure distributed systems., und . Compcon, Seite 177-184. IEEE Computer Society, (1991)A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure., , , , und . IEEE Access, (2022)Use of an SDN Switch in Support of NIST ICS Security Recommendations and Least Privilege Networking., , und . ICSS, Seite 11-20. ACM, (2019)Analysis of fault models for student use., , und . ACM SIGCSE Bull., 40 (2): 79-83 (2008)Formal Methods and Industry - Introduction., und . HICSS, IEEE Computer Society, (1999)An overview of SNIF: a tool for Surveying Network Information Flow.. NDSS, Seite 94-101. IEEE Computer Society, (1995)