Theodosis Dimitrakos

2007
38		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
37	EE	Ivan Djordjevic, Srijith K. Nair, Theodosis Dimitrakos: Virtualised Trusted Computing Platform for Adaptive Security Enforcement of Web Services Interactions. ICWS 2007: 615-622
36	EE	Srijith Krishnan Nair, Ivan Djordjevic, Bruno Crispo, Theodosis Dimitrakos: Secure web service federation management using tpm virtualisation. SWS 2007: 73-82
35	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)
34	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
33		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
32	EE	Andreas Maierhofer, Theodosis Dimitrakos, Leonid Titkov, David Brossard: Extendable and Adaptive Message-Level Security Enforcement Framework. ICNS 2006: 72
2005
31		Pierluigi Ritrovato, Stefano A. Cerri, Saverio Salerno, Matteo Gaeta, Colin Allison, Theodosis Dimitrakos: Towards the Learning Grid - Advances in Human Learning Services IOS Press 2005
30		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
29	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
28	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
27	EE	Audun Jøsang, Claudia Keser, Theodosis Dimitrakos: Can We Manage Trust? iTrust 2005: 93-107
2004
26		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
25		Christian Damsgaard Jensen, Stefan Poslad, Theodosis Dimitrakos: Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings Springer 2004
24	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
23	EE	Ivan Djordjevic, Chris Phillips, Theodosis Dimitrakos: An architecture for dynamic security perimeters of virtual collaborative networks. NOMS (1) 2004: 249-262
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	Colin Allison	[31]
4	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[29]
5	Juan Bicarregui	[4] [5] [9] [15] [16]
6	Folker den Braber	[10] [12]
7	David Brossard	[32]
8	Stefano A. Cerri	[31]
9	David Chadwick	[29]
10	Bruno Crispo	[36]
11	F. D'Andria	[28]
12	Ivan Djordjevic	[9] [17] [22] [23] [28] [35] [36] [37]
13	Rune Fredriksen	[8]
14	Dov M. Gabbay	[5]
15	Matteo Gaeta	[18] [21] [28] [31]
16	Pablo Giambiagi	[29]
17	Bjørn Axel Gran	[8] [12] [14]
18	Siv Hilde Houmb	[10]
19	Christian Damsgaard Jensen	[25]
20	Audun Jøsang	[13] [17] [27]
21	P. Kearney	[28]
22	Claudia Keser	[27]
23	Monica Kristiansen	[8]
24	Simon C. Lambert	[16]
25	Giuseppe Laria	[18] [21] [24] [28]
26	Emil C. Lupu (Emil Lupu)	[29]
27	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1] [3] [4] [5] [15]
28	Andreas Maierhofer	[32]
29	Fabio Martinelli	[30] [33] [34] [38]
30	Brian Matthews	[4] [9] [16] [20]
31	Zoran Milosevic	[13] [17]
32	Srijith Krishnan Nair (Srijith K. Nair)	[36] [37]
33	Tom Arthur Opperud	[8]
34	Mary Anne Patton	[13]
35	Chris Phillips	[23]
36	Chris I. Phillips	[9] [17]
37	Stefan Poslad	[25]
38	Damian Mac Randal	[18] [21] [24] [35]
39	Dimitris Raptis	[10] [11] [12] [14]
40	Brian Ritchie	[10] [11]
41	Pierluigi Ritrovato	[18] [19] [21] [24] [26] [28] [31] [35]
42	Bob Roberts	[29]
43	N. Romano	[21] [28] [35]
44	Peter Y. A. Ryan (Peter Ryan)	[33] [34] [38]
45	Saverio Salerno	[19] [31]
46	Steve A. Schneider (Steve Schneider)	[33] [34] [38]
47	L. Schubert	[28]
48	Bassem Serhan	[18] [21] [24] [28]
49	Ketil Stølen	[8] [10] [11] [12] [14]
50	Adomas Svirskas	[29]
51	Leonid Titkov	[28] [32]
52	V. Trpkovski	[28]
53	Nilufer Tuptuk	[29]
54	Stefan Wesner	[18] [21] [24] [28]
55	Michael D. Wilson	[29]
56	Konrad Wulf	[18]
57	Fajin Yuan	[18]