Antonio Cau
Antonio Cau
Senior Research Fellow, De Montfort University
Email verificata su dmu.ac.uk
Titolo
Citata da
Citata da
Anno
The calculus of context-aware ambients
F Siewe, H Zedan, A Cau
Journal of Computer and System Sciences 77 (4), 597-620, 2011
1122011
Augmenting semantic web service descriptions with compositional specification
M Solanki, A Cau, H Zedan
Proceedings of the 13th international conference on World Wide Web, 544-552, 2004
1052004
The ITL homepage
A Cau, B Moszkowski, H Zedan
online.[Online]. Available: http://www. cse. dmu. ac. uk/STRL/ITL, 2005
76*2005
Refining interval temporal logic specifications
A Cau, H Zedan
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997
741997
A compositional framework for access control policies enforcement
F Siewe, A Cau, H Zedan
Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003
652003
Parallel composition of assumption-commitment specifications
A Cau, P Collette
Acta Informatica 33 (2), 153-176, 1996
461996
On Unifying Assumption—Commitment Style Proof Rules for Concurrency
Q Xu, A Cau, P Collette
International Conference on Concurrency Theory, 267-282, 1994
381994
A note on the formalisation of UCON
H Janicke, A Cau, H Zedan
Proceedings of the 12th ACM symposium on Access control models and …, 2007
372007
Using ITL and Tempura for large-scale specification and simulation
A Cau, H Zedan, N Coleman, B Moszkowski
Proceedings of 4th EUROMICRO Workshop on Parallel and Distributed Processing …, 1996
361996
Runtime-monitoring for industrial control systems
H Janicke, A Nicholson, S Webber, A Cau
Electronics 4 (4), 995-1017, 2015
322015
Analysis and run-time verification of dynamic security policies
H Janicke, F Siewe, K Jones, A Cau, H Zedan
International Workshop on Defence Applications of Multi-Agent Systems, 92-103, 2005
312005
Asdl: A wide spectrum language for designing web services
M Solanki, A Cau, H Zedan
Proceedings of the 15th international conference on World Wide Web, 687-696, 2006
292006
Concurrent enforcement of usage control policies
H Janicke, A Cau, F Siewe, H Zedan
2008 IEEE Workshop on Policies for Distributed Systems and Networks, 111-118, 2008
282008
A compositional event & time-based policy model
H Janicke, A Cau, F Siewe, H Zedan, K Jones
Seventh IEEE International Workshop on Policies for Distributed Systems and …, 2006
282006
Dynamic access control policies: Specification and verification
H Janicke, A Cau, F Siewe, H Zedan
The Computer Journal 56 (4), 440-463, 2013
272013
Verification and enforcement of access control policies
A Cau, H Janicke, B Moszkowski
Formal Methods in System Design 43 (3), 450-492, 2013
262013
Deriving enforcement mechanisms from policies
H Janicke, A Cau, F Siewe, H Zedan
Policies for Distributed Systems and Networks, 2007. POLICY'07. Eighth IEEE …, 2007
262007
A framework for analysing the effect ofchange'in legacy code
S Zhou, H Zedan, A Cau
Software Maintenance, 1999.(ICSM'99) Proceedings. IEEE International …, 1999
221999
Introducing compositionality in web service descriptions
M Solanki, A Cau, H Zedan
Proceedings. 10th IEEE International Workshop on Future Trends of …, 2004
212004
Using PVS for interval temporal logic proofs, part 1: the syntactic and semantic encoding
A Cau, BC Moszkowski
182005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20