Access Control Synthesis for Physical Spaces

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin. Access Control Synthesis for Physical Spaces. In IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016. pages 443-457, IEEE, 2016. [doi]

Authors

Petar Tsankov

This author has not been identified. Look up 'Petar Tsankov' in Google

Mohammad Torabi Dashti

This author has not been identified. Look up 'Mohammad Torabi Dashti' in Google

David A. Basin

This author has not been identified. Look up 'David A. Basin' in Google