14 citations · 22 across the 8 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.SE2010★ 1 cited
Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans, John Fitzgerald
FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations. The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners…
cs.CR2010
Common Representation of Information Flows for Dynamic Coalitions
Igor Mozolevsky, John Fitzgerald
We propose a formal foundation for reasoning about access control policies within a Dynamic Coalition, defining an abstraction over existing access control models and providing mec…