WorldCat Identities

Dimitrakos, Theo

Overview
Works: 20 works in 116 publications in 1 language and 2,892 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: QA76.9.A25, 005.8
Publication Timeline
.
Most widely held works by Theo Dimitrakos
Trust management : second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings by iTrust 2004( Book )

12 editions published between 1999 and 2005 in English and held by 212 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Second International Conference on Trust Management, iTrust 2004, held in Oxford, UK, in March/April 2004. The 21 revised full papers and 6 revised short papers presented together with 3 invited contributions were carefully reviewed and selected from 48 submissions. Besides technical topics in distributed and open systems, issues from law, social sciences, business, and philosophy are addressed in order to develop a deeper and more fundamental understanding of the issues and challenges in the area of trust management in dynamic open systems
Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers by Theo Dimitrakos( Book )

12 editions published in 2006 in English and held by 204 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies
Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers by Theo Dimitrakos( Book )

15 editions published between 2006 and 2007 in English and held by 201 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. The 18 revised papers presented were carefully reviewed and selected from 47 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID is
Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France by Theo Dimitrakos( Book )

15 editions published in 2005 in English and held by 72 WorldCat member libraries worldwide

"Contains the post-proceedings of the second international Workshop on Formal Aspects in Security and Trust (FAST2004), held in Toulouse, 26-27 August 2004. FAST is an event of the 18th IFIP World Computer Congress (WCC2004) and is under the auspices of IFIP WG1.7 on 'Foundations of security analysis and design'"--Page [v]
Service oriented infrastructures and cloud service platforms for the enterprise : a selection of common capabilities validated in real-life business trials by the BEinGRID consortium by Theo Dimitrakos( Book )

14 editions published between 2009 and 2014 in English and Undetermined and held by 71 WorldCat member libraries worldwide

Service-Oriented Infrastructures including Grid and Cloud Computing are technologies in a critical transition to wider adoption by business. Their use may enable enterprises to achieve optimal IT utilization, including sharing resources and services across enterprises and on-demand utilization of those made available by business partners over the network. This book is an essential reference for researchers and practitioners in service-oriented IT. It analyses a selection of common capabilities (services capturing reusable functionality of IT solutions) that have been applied to tackle challenging business problems and were validated by the BEinGRID consortium in real-life business trials covering most European market sectors
Formal aspects in security and trust third international workshop ; revised selected papers( Book )

3 editions published in 2006 in English and held by 14 WorldCat member libraries worldwide

Trust management VI : 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012, proceedings by Theo Dimitrakos( Book )

11 editions published between 2012 and 2014 in English and held by 12 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th IFIP WG 11.11 International Conference, IFIPTM 2012, held in Surat, India, in May 2012. The 12 revised full papers presented together with 8 short papers and the abstracts of 4 keynote talks were carefully reviewed and selected from 51 submissions. Building on the traditions inherited from the iTrust and previous IFIPTM conferences, IFIPTM 2012 is a multi-disciplinary conference focusing on areas such as: trust models, social, economic and behavioural aspects of trust, trust in networks, mobile systems and cloud computation, privacy, reputation systems, and identity management
Formal aspects in security and trust fourth international workshop ; revised selected papers by Theo Dimitrakos( )

13 editions published between 2006 and 2007 in English and held by 11 WorldCat member libraries worldwide

Trust management VI 6th IFIP WG 11.11 international conference, IFIPTM 2011, Surat, India May 21-May25,2012; proceedings( )

1 edition published in 2012 in English and held by 9 WorldCat member libraries worldwide

Formal support for specification, design and implementation by Theo Dimitrakos( Book )

4 editions published in 1998 in English and held by 6 WorldCat member libraries worldwide

Trust management IX : 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings by IFIPTM (Conference)( Book )

6 editions published in 2015 in English and held by 5 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2015, held in Hamburg, Germany, in May 2015. The 10 revised full papers and 5 short papers presented were carefully reviewed and selected from 28 submissions. In addition, the book contains one invited paper and 5 papers from a special session on trusted cloud ecosystems. The papers cover a wide range of topics including trust and reputation and models thereof, the relationship between trust and security, socio-technical aspects of trust, reputation and privacy, trust in the cloud and behavioural models of trust
Formal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005 ; revised selected papers( Visual )

1 edition published in 2006 in English and held by 4 WorldCat member libraries worldwide

Trust management by International Federation for Information Processing( Book )

1 edition published in 2012 in English and held by 3 WorldCat member libraries worldwide

Trust management : second international conference, iTrust 2004, Oxford, UK, March 29 - April, 2004, proceedings by iTrust (Conference)( )

1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide

Formal aspects in security and trust Thrid International Workshop, FAST 2005 : Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers by FAST( )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Trust management VI 6th IFIP WG 11.11 international conference ; proceedings( Book )

2 editions published in 2012 in English and held by 1 WorldCat member library worldwide

Formal aspects of security and trust : third international workshop, FAST 2005 : revised selected papers( Book )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Formal Aspects in Security and Trust (vol. # 173) by Theo Dimitrakos( Book )

1 edition published in 2005 in English and held by 0 WorldCat member libraries worldwide

Proceedings of the 4th International Workshop on Security and Trust Management (STM 2008) Trondheim, Norway, 16-17 June 2008 by STM (Conference)( )

1 edition published in 2009 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.46 for Trust mana ... to 1.00 for Formal Asp ...)

Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papersFormal aspects in security and trust third international workshop ; revised selected papersFormal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005 ; revised selected papersFormal aspects in security and trust Thrid International Workshop, FAST 2005 : Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papersFormal aspects of security and trust : third international workshop, FAST 2005 : revised selected papers
Alternative Names
Dimitrakos, Theodosis

Languages
English (115)

Covers
Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papersFormal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papersFormal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, FranceService oriented infrastructures and cloud service platforms for the enterprise : a selection of common capabilities validated in real-life business trials by the BEinGRID consortiumFormal aspects in security and trust third international workshop ; revised selected papersFormal aspects in security and trust fourth international workshop ; revised selected papersFormal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papersFormal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005 ; revised selected papers