Autor der Publikation

Privacy-Oriented Data Mining by Proof Checking.

, und . PKDD, Volume 2431 von Lecture Notes in Computer Science, Seite 138-149. Springer, (2002)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Non-technical User-Oriented Display Notation for XACML Conditions., , und . MCETECH, Volume 26 von Lecture Notes in Business Information Processing, Seite 53-64. Springer, (2009)An abstraction-based genetic programming system., und . GECCO (Companion), Seite 2415-2422. ACM, (2007)A non-technical XACML target editor for dynamic access control systems., , und . CTS, Seite 150-157. IEEE, (2014)Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs., und . PxTP@CADE, Volume 14 von EPiC Series in Computing, Seite 67-76. EasyChair, (2013)Formal Verification of a Certified Policy Language., und . VECoS, Volume 12519 von Lecture Notes in Computer Science, Seite 180-194. Springer, (2020)A Certified Core Policy Language., und . PST, Seite 391-393. IEEE Computer Society, (2017)An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption., , und . ARES, Seite 161-167. IEEE Computer Society, (2012)An implementation of a verification condition generator for foundational proof-carrying code., und . PST, Seite 238-245. IEEE, (2011)Advantages of a non-technical XACML notation in role-based models., , und . PST, Seite 193-200. IEEE, (2011)Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison., und . ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 227-242. Springer, (2010)