1 Formal Model and Analysis of Usage Control Dissertation defense Student: Xinwen Zhang Director: Ravi S. Sandhu Co-director: Francesco Parisi-Presicce.
An Iterative Algorithm for Trust Management and Adversary Detection for Delay-Tolerant Networks AUTHORS: ERMAN AYDAY AND FARAMARZ FEKRI PRESENTED BY: SAMEER.
Solving trust issues using Z3
An Iterative Algorithm for Trust Management and Adversary Detection for Delay-Tolerant Networks
Solving trust issues using Z3 Z3 SIG, November 2011 Moritz Y. Becker, Nik Sultana Alessandra Russo Masoud Koleini Microsoft Research, Cambridge Imperial.