Search results for: David Basin
Formal Methods in System Design > 2019 > 54 > 3 > 449-478
Acta Informatica > 2018 > 55 > 4 > 309-338
Science of Computer Programming > 2016 > 131 > C > 59-75
Applied Information Security > 117-145
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 330-349
Lecture Notes in Computer Science > Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems > Privacy > 53-66
IFIP — The International Federation for Information Processing > Integrity and Internal Control in Information Systems VI > Refereed papers > 31-47
Lecture Notes in Computer Science > Emerging Trends in Information and Communication Security > Security Policies > 352-367
Lecture Notes in Computer Science > Secure Networking — CQRE [Secure] ’ 99 > Security Design > 30-42