Author of the publication

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements.

, , , , and . iTrust, volume 3477 of Lecture Notes in Computer Science, page 415-419. Springer, (2005)

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

Selecting a Secure Cloud Provider - An Empirical Study and Multi Criteria Approach., , , and . Information, 11 (5): 261 (2020)TestREx: a framework for repeatable exploits., , , and . Int. J. Softw. Tools Technol. Transf., 21 (1): 105-119 (2019)IT Interdependence and the Economic Fairness of Cybersecurity Regulations for Civil Aviation., , , , and . IEEE Secur. Priv., 13 (5): 52-61 (2015)Verifying security protocols as planning in logic programming., and . ACM Trans. Comput. Log., 2 (4): 542-580 (2001)The (Un)Reliability of NVD Vulnerable Versions Data: an Empirical Experiment on Google Chrome Vulnerabilities, and . Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security, page 493--498. (May 2013)Privacy Is Linking Permission to Purpose., and . Security Protocols Workshop, volume 3957 of Lecture Notes in Computer Science, page 179-191. Springer, (2004)Formal Verification of Cardholder Registration in SET., , , and . ESORICS, volume 1895 of Lecture Notes in Computer Science, page 159-174. Springer, (2000)An Empirical Methodology to Evaluate Vulnerability Discovery Models., and . IEEE Trans. Software Eng., 40 (12): 1147-1162 (2014)Maintaining privacy on derived objects., , , and . WPES, page 10-19. ACM, (2005)How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach., , , , and . ICAIL, page 149-153. ACM, (2007)