Amani Shatnawi, Stephen Clyde. Modeling Personal Identifiable Information using First-Order Logic. In 15th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2018, Aqaba, Jordan, October 28 - Nov. 1, 2018. pages 1-10, IEEE, 2018. [doi]
Abstract is missing.