<--- Back to Details
First PageDocument Content
Formal methods / Class / Class invariant / Invariant / Emmy Noether / Mathematics / Science and technology in Germany
Date: 2017-04-03 15:58:46
Formal methods
Class
Class invariant
Invariant
Emmy Noether
Mathematics
Science and technology in Germany

IVD : Automatic Learning and Enforcement of Authorization Rules in Online Social Networks Paul Marinescu† , Chad Parry† , Marjori Pomarole† , Yuan Tian‡ , Patrick Tague‡ , Ioannis Papagiannis† † Facebook.

Add to Reading List

Source URL: www.ieee-security.org

Download Document from Source Website

File Size: 295,66 KB

Share Document on Facebook

Similar Documents