pith. sign in

Charles Morisset

Identifiers

  • name variant Charles Morisset 0.60 · backfill

Papers (5)

  1. Automated Certification of Authorisation Policy Resistance cs.CR · 2013 · author #2
  2. Implementing Access Control Markov Decision Processes with GLPK/GMPL cs.CR · 2012 · author #1
  3. Towards A Generic Formal Framework for Access Control Systems cs.CR · 2012 · author #2
  4. A Framework for Automated and Certified Refinement Steps cs.SE · 2011 · author #3
  5. PTaCL: A Language for Attribute-Based Access Control in Open Systems cs.CR · 2011 · author #2

Mentions

  • 1306.4624 #2 · backfill · confidence 0.70 Charles Morisset
  • 1208.4722 #1 · backfill · confidence 0.70 Charles Morisset
  • 1204.2342 #2 · backfill · confidence 0.70 Charles Morisset
  • 1112.0215 #3 · backfill · confidence 0.70 Charles Morisset
  • 1111.5767 #2 · backfill · confidence 0.70 Charles Morisset

Frequent Coauthors