14 citations · 49 across the 12 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SE2011
A Framework for Automated and Certified Refinement Steps
Andreas Griesmayer, Zhiming Liu, Charles Morisset +1
The refinement calculus provides a methodology for transforming an abstract specification into a concrete implementation, by following a succession of refinement rules. These rules…
cs.CR2011★ 1 cited
PTaCL: A Language for Attribute-Based Access Control in Open Systems
Jason Crampton, Charles Morisset
Many languages and algebras have been proposed in recent years for the specification of authorization policies. For some proposals, such as XACML, the main motivation is to address…