Result 1 to 20 of 32 total
Conformance checking of dynamic access control policies. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 227-242 (2011).
1
Automatic conformance checking of role-based access control policies via Alloy. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 15-28 (2011).
2
Conformance checking of dynamic access control policies (English)
ICFEM, 227-242 (2011).
3
Automatic conformance checking of role-based access control policies via alloy (English)
ESSoS, 15-28 (2011).
4
GIMI: the past, the present and the future. (English)
Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 368, No. 1925, 3891-3905 (2010).
5
On the secure sharing and aggregation of data to support systems biology research. (English)
Lambrix, Patrick (ed.) et al., Data integration in the life sciences. 7th international conference, DILS 2010, Gothenburg, Sweden, August 25‒27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15119-4/pbk). Lecture Notes in Computer Science 6254. Lecture Notes in Bioinformatics, 58-73 (2010).
6
On the modelling and analysis of Amazon web services access policies. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 394 (2010).
7
Formalising and validating RBAC-to-XACML translation using lightweight formal methods. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 349-362 (2010).
8
On the secure sharing and aggregation of data to support systems biology research (English)
DILS, 58-73 (2010).
9
Formalising and validating RBAC-to-XACML translation using lightweight formal methods (English)
ASM, 349-362 (2010).
10
On the modelling and analysis of amazon web services access policies (English)
ASM, 394 (2010).
11
On formalizing and normalizing role-based access control systems. (English)
Comput. J. 52, No. 3(A), 305-325 (2009).
12
On the construction and verification of self-modifying access control policies. (English)
Jonker, Willem (ed.) et al., Secure data management. 6th VLDB workshop, SDM 2009, Lyon, France, August 28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04218-8/pbk). Lecture Notes in Computer Science 5776, 107-121 (2009).
13
On formalizing and normalizing role-based access control systems (English)
Comput. J. 52, No. 3, 305-325 (2009).
14
On the secure sharing of legacy data (English)
ITNG, 1676-1679 (2009).
15
On the utilisation of a service-oriented infrastructure to support radiologist training (English)
CBMS, 1-4 (2009).
16
On the construction and verification of self-modifying access control policies (English)
Secure Data Management, 107-121 (2009).
17
On the facilitation of fine-grained access to distributed healthcare data. (English)
Jonker, Willem (ed.) et al., Secure data management. 5th VLDB workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85258-2/pbk). Lecture Notes in Computer Science 5159, 169-184 (2008).
18
Accessing and aggregating legacy data sources for healthcare research, delivery and training (English)
SAC, 1317-1324 (2008).
19
On the facilitation of fine-grained access to distributed healthcare data (English)
Secure Data Management, 169-184 (2008).
20
Result 1 to 20 of 32 total
Start
Contact
Print
General Help
