An Automata-Based Approach to Evolving Privacy Policies for Social Networks

Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider. An Automata-Based Approach to Evolving Privacy Policies for Social Networks. In Yliès Falcone, César Sánchez, editors, Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Volume 10012 of Lecture Notes in Computer Science, pages 285-301, Springer, 2016. [doi]

Authors

Raúl Pardo

This author has not been identified. Look up 'Raúl Pardo' in Google

Christian Colombo

This author has not been identified. Look up 'Christian Colombo' in Google

Gordon J. Pace

This author has not been identified. It may be one of the following persons: Look up 'Gordon J. Pace' in Google

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google