Charles Morisset
Charles Morisset
Lecturer in Security, Newcastle University
Verified email at ncl.ac.uk - Homepage
TitleCited byYear
PTaCL: A language for attribute-based access control in open systems
J Crampton, C Morisset
International Conference on Principles of Security and Trust, 390-409, 2012
592012
Risk-based security decisions under uncertainty
I Molloy, L Dickens, C Morisset, PC Cheng, J Lobo, A Russo
Proceedings of the second ACM conference on Data and Application Security …, 2012
462012
Robustness testing for software components
B Lei, X Li, Z Liu, C Morisset, V Stolz
Science of Computer Programming 75 (10), 879-897, 2010
45*2010
rCOS: Theory and tool for component-based model driven development
Z Liu, C Morisset, V Stolz
International Conference on Fundamentals of Software Engineering, 62-80, 2009
442009
State based robustness testing for components
B Lei, Z Liu, C Morisset, X Li
Electronic Notes in Theoretical Computer Science 260, 173-188, 2010
302010
A formal approach to implement access control models
M Jaume, C Morisset
Journal of Information Assurance and Security 1 (2), 137-148, 2006
272006
Formalisation and implementation of access control models
M Jaume, C Morisset
International Conference on Information Technology: Coding and Computing …, 2005
272005
Quantitative access control with partially-observable markov decision processes
F Martinelli, C Morisset
Proceedings of the second ACM conference on Data and Application Security …, 2012
242012
An auto-delegation mechanism for access control systems
J Crampton, C Morisset
International Workshop on Security and Trust Management, 1-16, 2010
232010
Towards a formal specification of access control
M Jaume, C Morisset
Proceedings of the Joint Workshop on Foundations of Computer Security and …, 2006
222006
Design and verification of fault-tolerant components
M Zhang, Z Liu, C Morisset, AP Ravn
Methods, Models and Tools for Fault Tolerance, 57-84, 2009
192009
Formal definition and comparison of access control models
L Habib, M Jaume, C Morisset
192009
Quantitative workflow resiliency
JC Mace, C Morisset, A Van Moorsel
European Symposium on Research in Computer Security, 344-361, 2014
172014
From qualitative to quantitative enforcement of security policy
F Martinelli, I Matteucci, C Morisset
International Conference on Mathematical Methods, Models, and Architectures …, 2012
172012
On missing attributes in access control: Non-deterministic and probabilistic attribute retrieval
J Crampton, C Morisset, N Zannone
Proceedings of the 20th ACM Symposium on Access Control Models and …, 2015
162015
Specification and validation of behavioural protocols in the rCOS modeler
Z Chen, C Morisset, V Stolz
International Conference on Fundamentals of Software Engineering, 387-401, 2009
162009
Sémantique des systèmes de contrôle d'accès: définition d'un cadre sémantique pour la spécification, l'implantation et la comparaison de modèles de contrôle d'accès
C Morisset
Paris 6, 2007
162007
Cost-aware runtime enforcement of security policies
P Drábik, F Martinelli, C Morisset
International Workshop on Security and Trust Management, 1-16, 2012
152012
A formal comparison of the bell & lapadula and rbac models
L Habib, M Jaume, C Morisset
2008 The Fourth International Conference on Information Assurance and …, 2008
122008
Reduction of access control decisions
C Morisset, N Zannone
Proceedings of the 19th ACM symposium on Access control models and …, 2014
112014
The system can't perform the operation now. Try again later.
Articles 1–20