Theodosis Dimitrakos

2007
36		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Springer 2007
35	EE	Ivan Djordjevic, Srijith K. Nair, Theodosis Dimitrakos: Virtualised Trusted Computing Platform for Adaptive Security Enforcement of Web Services Interactions. ICWS 2007: 615-622
34	EE	Srijith Krishnan Nair, Ivan Djordjevic, Bruno Crispo, Theodosis Dimitrakos: Secure web service federation management using tpm virtualisation. SWS 2007: 73-82
33	EE	Ivan Djordjevic, Theodosis Dimitrakos, N. Romano, Damian Mac Randal, Pierluigi Ritrovato: Dynamic security perimeters for inter-enterprise service integration. Future Generation Comp. Syst. 23(4): 633-657 (2007)
32	EE	Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
2006
31		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Springer 2006
30	EE	Andreas Maierhofer, Theodosis Dimitrakos, Leonid Titkov, David Brossard: Extendable and Adaptive Message-Level Security Enforcement Framework. ICNS 2006: 72
2005
29		Theodosis Dimitrakos, Fabio Martinelli: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France Springer 2005
28	EE	Adomas Svirskas, Michael D. Wilson, Alvaro E. Arenas, Emil C. Lupu, Nilufer Tuptuk, David Chadwick, Pablo Giambiagi, Theodosis Dimitrakos, Bob Roberts: Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures. CEC Workshops 2005: 3-11
27	EE	Theodosis Dimitrakos, Giuseppe Laria, Ivan Djordjevic, N. Romano, F. D'Andria, V. Trpkovski, P. Kearney, Matteo Gaeta, Pierluigi Ritrovato, L. Schubert, Bassem Serhan, Leonid Titkov, Stefan Wesner: Towards a Grid Platform Enabling Dynamic Virtual Organisations for Business Applications. iTrust 2005: 406-410
26	EE	Audun Jøsang, Claudia Keser, Theodosis Dimitrakos: Can We Manage Trust? iTrust 2005: 93-107
2004
25		Theodosis Dimitrakos, Pierluigi Ritrovato: 4th International LeGE-WG Workshop - Towards a European Learning Grid Infrastructure: Progressing with a European Learning Grid, Stuttgart, Germany. 27 - 28 April 2004. BCS 2004
24		Christian Damsgaard Jensen, Stefan Poslad, Theodosis Dimitrakos: Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings Springer 2004
23	EE	Stefan Wesner, Bassem Serhan, Theodosis Dimitrakos, Damian Mac Randal, Pierluigi Ritrovato, Giuseppe Laria: Overview of an Architecture Enabling Grid Based Application Service Provision. European Across Grids Conference 2004: 113-118
22	EE	Ivan Djordjevic, Theodosis Dimitrakos: Towards Dynamic Security Perimeters for Virtual Collaborative Networks. iTrust 2004: 191-205
21	EE	Matteo Gaeta, Giuseppe Laria, Pierluigi Ritrovato, N. Romano, Bassem Serhan, Stefan Wesner, Theodosis Dimitrakos, Damian Mac Randal: Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision. iTrust 2004: 362-368
20	EE	Brian Matthews, Theodosis Dimitrakos: Deploying Trust Policies on the Semantic Web. iTrust 2004: 369-375
2003
19		Theodosis Dimitrakos, Pierluigi Ritrovato, Saverio Salerno: 3rd International LeGE-WG Workshop: GRID Infrastructure to Support Future Technology Enhanced Learning, Berlin, Germany. 3 December, 2003 BCS 2003
18	EE	Theodosis Dimitrakos, Damian Mac Randal, Fajin Yuan, Matteo Gaeta, Giuseppe Laria, Pierluigi Ritrovato, Bassem Serhan, Stefan Wesner, Konrad Wulf: An Emerging Architecture Enabling Grid Based Application Service Provision. EDOC 2003: 240-251
17	EE	Theodosis Dimitrakos, Ivan Djordjevic, Zoran Milosevic, Audun Jøsang, Chris I. Phillips: Contract Performance Assessment for Secure and Dynamic Virtual Collaborations. EDOC 2003: 62-75
16	EE	Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui: Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. MMGPS 2003
15	EE	Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
2002
14		Dimitris Raptis, Theodosis Dimitrakos, Bjørn Axel Gran, Ketil Stølen: The coras approach for model-based risk management applied to e-commerce domain. Communications and Multimedia Security 2002: 169-181
13	EE	Zoran Milosevic, Audun Jøsang, Theodosis Dimitrakos, Mary Anne Patton: Discretionary Enforcement of Electronic Contracts. EDOC 2002: 39-50
12	EE	Jan Øyvind Aagedal, Folker den Braber, Theodosis Dimitrakos, Bjørn Axel Gran, Dimitris Raptis, Ketil Stølen: Model-Based Risk Assessment to Improve Enterprise Security. EDOC 2002: 51-
11	EE	Theodosis Dimitrakos, Dimitris Raptis, Brian Ritchie, Ketil Stølen: Model Based Security Risk Analysis for Web Applications. EuroWeb 2002
10		Theodosis Dimitrakos, Brian Ritchie, Dimitris Raptis, Jan Øyvind Aagedal, Folker den Braber, Ketil Stølen, Siv Hilde Houmb: Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach. I3E 2002: 159-175
9	EE	Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
8	EE	Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos: The CORAS Framework for a Model-Based Risk Management Process. SAFECOMP 2002: 94-105
7	EE	Theodosis Dimitrakos: A Service-Oriented Trust Management Framework. Trust, Reputation, and Security 2002: 53-72
2001
6		Theodosis Dimitrakos: System Models, e-Risks and e-Trust. I3E 2001: 45-58
5	EE	Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): (2001)
2000
4	EE	Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
3	EE	Theodosis Dimitrakos, T. S. E. Maibaum: On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000)
1998
2	EE	Theodosis Dimitrakos: Parameterising (Algebraic) Specifications on Diagrams. ASE 1998: 221-224
1997
1	EE	Theodosis Dimitrakos, T. S. E. Maibaum: Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116

Coauthor Index

1	Jan Øyvind Aagedal	[10] [12]
2	Nazareno Aguirre	[15]
3	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[28]
4	Juan Bicarregui	[4] [5] [9] [15] [16]
5	Folker den Braber	[10] [12]
6	David Brossard	[30]
7	David Chadwick	[28]
8	Bruno Crispo	[34]
9	F. D'Andria	[27]
10	Ivan Djordjevic	[9] [17] [22] [27] [33] [34] [35]
11	Rune Fredriksen	[8]
12	Dov M. Gabbay	[5]
13	Matteo Gaeta	[18] [21] [27]
14	Pablo Giambiagi	[28]
15	Bjørn Axel Gran	[8] [12] [14]
16	Siv Hilde Houmb	[10]
17	Christian Damsgaard Jensen	[24]
18	Audun Jøsang	[13] [17] [26]
19	P. Kearney	[27]
20	Claudia Keser	[26]
21	Monica Kristiansen	[8]
22	Simon C. Lambert	[16]
23	Giuseppe Laria	[18] [21] [23] [27]
24	Emil C. Lupu (Emil Lupu)	[28]
25	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1] [3] [4] [5] [15]
26	Andreas Maierhofer	[30]
27	Fabio Martinelli	[29] [31] [32] [36]
28	Brian Matthews	[4] [9] [16] [20]
29	Zoran Milosevic	[13] [17]
30	Srijith Krishnan Nair (Srijith K. Nair)	[34] [35]
31	Tom Arthur Opperud	[8]
32	Mary Anne Patton	[13]
33	Chris I. Phillips	[9] [17]
34	Stefan Poslad	[24]
35	Damian Mac Randal	[18] [21] [23] [33]
36	Dimitris Raptis	[10] [11] [12] [14]
37	Brian Ritchie	[10] [11]
38	Pierluigi Ritrovato	[18] [19] [21] [23] [25] [27] [33]
39	Bob Roberts	[28]
40	N. Romano	[21] [27] [33]
41	Peter Y. A. Ryan (Peter Ryan)	[31] [32] [36]
42	Saverio Salerno	[19]
43	Steve A. Schneider (Steve Schneider)	[31] [32] [36]
44	L. Schubert	[27]
45	Bassem Serhan	[18] [21] [23] [27]
46	Ketil Stølen	[8] [10] [11] [12] [14]
47	Adomas Svirskas	[28]
48	Leonid Titkov	[27] [30]
49	V. Trpkovski	[27]
50	Nilufer Tuptuk	[28]
51	Stefan Wesner	[18] [21] [23] [27]
52	Michael D. Wilson	[28]
53	Konrad Wulf	[18]
54	Fajin Yuan	[18]