Formal Modeling of Trust-Based Access Control in Dynamic Coalitions.

Nadim Sarrouh

Browse the full COMPSAC paper archive.