Analyzing application private information leaks with privacy Petri Net | IEEE Conference Publication | IEEE Xplore