1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.MA2012
Proceedings Third Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans, John Fitzgerald
This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October…
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…