A language for automatically enforcing privacy policies
作者： Jean Yang , Kuat Yessenov , Armando Solar-Lezama
关键词:
摘要: … Unfortunately, privacy policies are difficult to manage … for ensuring adherence to privacy policies. The programming … of privacy concerns and 2) declarative, decentralized policies …
core.ac.uk
acm.org
sci-hub.se 参考文章(25)
John W. Lloyd, Programming in an Integrated Functional and Logic Language. Journal of Functional and Logic Programming. ,vol. 1999, ,(1999)
Douglas R. Smith, Aspects as Invariants Springer, Dordrecht. pp. 247- 263 ,(2008) , 10.1007/978-1-4020-6585-9_16
Leonardo de Moura, Nikolaj Bjørner, Z3: an efficient SMT solver tools and algorithms for construction and analysis of systems. pp. 337- 340 ,(2008) , 10.1007/978-3-540-78800-3_24
Andy Mück, Thomas Streicher, Hendrik C. R. Lock, A tiny constraint functional logic language and its continuation semantics european symposium on programming. pp. 439- 453 ,(1994) , 10.1007/3-540-57880-3_29
Nikolay Mihaylov, Sebastian Maneth, Vincent Cremet, Martin Odersky, Philippe Altherr, Michel Schinz, Burak Emir, Matthias Zenger, Stéphane Micheloud, Erik Stenman, An Overview of the Scala Programming Language ,(2004)
H Kuchen, M Hanus, JJ Moreno-Navarro, Curry: A Truly Functional Logic Language ILPS'95 Workshop on Visions for the Future of Logic Programming. ,(1995)
Michael Hanus, Improving Control of Logic Programs by Using Functional Logic Languages Untitled Event. pp. 1- 23 ,(1992)
Dominique Devriese, Frank Piessens, Noninterference through Secure Multi-execution ieee symposium on security and privacy. pp. 109- 124 ,(2010) , 10.1109/SP.2010.15
Carroll Morgan, The specification statement ACM Transactions on Programming Languages and Systems. ,vol. 10, pp. 403- 419 ,(1988) , 10.1145/44501.44503
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark B. Shields, Implicit parameters: dynamic scoping with static types symposium on principles of programming languages. pp. 108- 118 ,(2000) , 10.1145/325694.325708