When role models have flaws: Static validation of enterprise security policiesMarco PistoiaStephen J. Finket al.2007ICSE 2007
Workshop on software technologies for ultra-large scale systemsRichard GabrielRick Kazmanet al.2007ICSE 2007