Charles Morisset
Identifiers
- name variant Charles Morisset 0.60 · backfill
Papers (5)
- Automated Certification of Authorisation Policy Resistance cs.CR · 2013 · author #2
- Implementing Access Control Markov Decision Processes with GLPK/GMPL cs.CR · 2012 · author #1
- Towards A Generic Formal Framework for Access Control Systems cs.CR · 2012 · author #2
- A Framework for Automated and Certified Refinement Steps cs.SE · 2011 · author #3
- PTaCL: A Language for Attribute-Based Access Control in Open Systems cs.CR · 2011 · author #2
Mentions
Frequent Coauthors
- Andreas Griesmayer 2 shared papers
- Jason Crampton 2 shared papers
- Shuling Wang 1 shared papers
- Zhiming Liu 1 shared papers