PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kaynar, Dilsun Kirli"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors.

, , , und . STM, Volume 7783 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2012)

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 Kaynar, Dilsun Kirli
Eine Person hinzufügen mit dem Namen Kaynar, Dilsun Kirli
 

Weitere Publikationen von Autoren mit dem selben Namen

On Adversary Models and Compositional Security., , , , und . IEEE Security & Privacy, 9 (3): 26-32 (2011)Compositional Security for Task-PIOAs., , , , und . CSF, Seite 125-139. IEEE Computer Society, (2007)Decomposing Verification of Timed I/O Automata., und . FORMATS/FTRTFT, Volume 3253 von Lecture Notes in Computer Science, Seite 84-101. Springer, (2004)Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors., , , und . STM, Volume 7783 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2012)An abstract machine model of dynamic module replacement., , und . Future Generation Comp. Syst., 16 (7): 793-808 (2000)The Theory of Timed I/O Automata, , , und . Synthesis Lectures on Computer Science Morgan & Claypool Publishers, (2006)Formal Verification of Differential Privacy for Interactive Systems, , und . CoRR, (2011)Modeling Computational Security in Long-Lived Systems., , , , und . IACR Cryptology ePrint Archive, (2007)Probabilistic Cost Enforcement of Security Policies., , , , und . STM, Volume 8203 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2013)A Logic of Secure Systems and its Application to Trusted Computing., , , und . IEEE Symposium on Security and Privacy, Seite 221-236. IEEE Computer Society, (2009)