Author of the publication

Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures.

, , , and . EuroPKI, volume 3093 of Lecture Notes in Computer Science, page 98-111. Springer, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A survey of autonomic communications, , , , , , , , , and . ACM Trans. Auton. Adapt. Syst., 1 (2): 223--259 (2006)Solving QBF by SMV., , , and . KR, page 578-592. Morgan Kaufmann, (2002)Security-by-contract for web services., and . SWS, page 90-98. ACM, (2007)Security views for outsourced business processes., , and . SWS, page 45-52. ACM, (2008)Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution., and . CAiSE, volume 6741 of Lecture Notes in Computer Science, page 62-76. Springer, (2011)Tableaux Methods for Access Control in Distributed Systems.. TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 246-260. Springer, (1997)Security-by-Contract for the OSGi Platform., , and . SEC, volume 376 of IFIP Advances in Information and Communication Technology, page 364-375. Springer, (2012)Using Walk-SAT and Rel-Sat for Cryptographic Key Search.. IJCAI, page 290-295. Morgan Kaufmann, (1999)The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations., , , , and . Security Protocols Workshop, volume 10476 of Lecture Notes in Computer Science, page 171-179. Springer, (2017)Privacy is Linking Permission to Purpose (Transcript of Discussion).. Security Protocols Workshop, volume 3957 of Lecture Notes in Computer Science, page 192-198. Springer, (2004)