Charles Morisset

	2012
19		Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo: Risk-based security decisions under uncertainty. CODASPY 2012: 157-168
18		Fabio Martinelli, Charles Morisset: Quantitative access control with partially-observable Markov decision processes. CODASPY 2012: 169-180
17		Jason Crampton, Charles Morisset: PTaCL: A Language for Attribute-Based Access Control in Open Systems. POST 2012: 390-409
16		Jason Crampton, Charles Morisset: Towards A Generic Formal Framework for Access Control Systems CoRR abs/1204.2342: (2012)
	2011
15		Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin: Risk-Based Auto-delegation for Probabilistic Availability. DPM/SETOP 2011: 206-220
14		Jason Crampton, Charles Morisset: PTaCL: A Language for Attribute-Based Access Control in Open Systems CoRR abs/1111.5767: (2011)
13		Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A Framework for Automated and Certified Refinement Steps CoRR abs/1112.0215: (2011)
	2010
12		Zhiming Liu, Charles Morisset, Shuling Wang: A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
11		Jason Crampton, Charles Morisset: An Auto-delegation Mechanism for Access Control Systems. STM 2010: 1-16
10		Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li: State Based Robustness Testing for Components. Electr. Notes Theor. Comput. Sci. 260: 173-188 (2010)
9		Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz: Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010)
	2009
8		Zhenbang Chen, Charles Morisset, Volker Stolz: Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN 2009: 387-401
7		Zhiming Liu, Charles Morisset, Volker Stolz: rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80
6		Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn: Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84
	2008
5		Lionel Habib, Mathieu Jaume, Charles Morisset: A Formal Comparison of the Bell & LaPadula and RBAC Models. IAS 2008: 3-8
4		Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353
3		Mathieu Jaume, Charles Morisset: Un cadre sémantique pour le contrôle d'accès. Technique et Science Informatiques 27(8): 951-976 (2008)
	2007
2		Julien Blond, Charles Morisset: Un moniteur de référence sr d'une base de données. Technique et Science Informatiques 26(9): 1091-1110 (2007)
	2005
1		Mathieu Jaume, Charles Morisset: Formalisation and implementation of Access control models. ITCC (1) 2005: 703-708

Coauthor Index

1	Julien Blond	[2]
2	Zhenbang Chen	[8]
3	Pau-Chen Cheng	[19]
4	Jason Crampton	[11] [14] [16] [17]
5	Luke Dickens	[19]
6	Andreas Griesmayer	[13]
7	Lionel Habib	[5]
8	Mathieu Jaume	[1] [3] [5]
9	Leanid Krautsevich	[15]
10	Bin Lei	[9] [10]
11	Xuandong Li	[9] [10]
12	Zhiming Liu	[4] [6] [7] [9] [10] [12] [13]
13	Jorge Lobo	[19]
14	Fabio Martinelli	[15] [18]
15	Ian Molloy	[19]
16	Anders P. Ravn	[6]
17	Alessandra Russo	[19]
18	Volker Stolz	[4] [7] [8] [9]
19	Shuling Wang	[12] [13]
20	Artsiom Yautsiukhin	[15]
21	Miaomiao Zhang	[6]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page