Author of the publication

Symbolic Privacy Analysis through Linkability and Detectability.

, , and . IFIPTM, volume 401 of IFIP Advances in Information and Communication Technology, page 1-16. Springer, (2013)

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

Symbolic Privacy Analysis through Linkability and Detectability., , and . IFIPTM, volume 401 of IFIP Advances in Information and Communication Technology, page 1-16. Springer, (2013)Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management., , and . CoRR, (2012)Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology., , and . Advances in Intelligent Information Systems, volume 265 of Studies in Computational Intelligence, Springer, (2010)Poster: protecting information in systems of systems., , and . ACM Conference on Computer and Communications Security, page 865-868. ACM, (2011)Flow-based reputation with uncertainty: evidence-based subjective logic., , and . Int. J. Inf. Sec., 15 (4): 381-402 (2016)Understanding Computer Security., and . Frontiers ICT, (2014)The Si* Modeling Framework: Metamodel and Applications.. International Journal of Software Engineering and Knowledge Engineering, 19 (5): 727-746 (2009)Towards Data Protection Compliance., , and . SECRYPT, page 213-216. SciTePress, (2010)Formal Analysis of BPMN Via a Translation into COWS., , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 249-263. Springer, (2008)Flow-Based Reputation: More than Just Ranking., , and . Int. J. Inf. Technol. Decis. Mak., 11 (3): 551-578 (2012)