selected publications academic article Analyzing uncertainty in take-grant protection graphs with TG/MC. Journal of Computer Security. 18:667-698. 2010