Trustworthy global computing international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

Trustworthy global computing international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

Saved in:

Bibliographic Details
Corporate Author:	TGC 2005 Edinburgh, Scotland
Other Authors:	De Nicola, Rocco, Sangiorgi, Davide
Format:	Book
Published:	Berlin New York Springer 2005
Series:	Lecture notes in computer science 3705
Subjects:	Computer networks > Congresses > Security measures Computer software > Congresses > Validation Computer software > Congresses > Verification Computer security > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software reviews and audit handbook
by: Hollocker, Charles P
Published: (1990)

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Published: (2007)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

Software engineering reviews and audits
by: Summers, Boyd L.
Published: (2011)

Security and privacy in the age of ubiquitous computing IFIP TC11 20th International Information Security Conference, May 30-June 1, 2005, Chiba, Japan
Published: (2005)

Security in communication networks third international conference, SCN 2002, Amalfi, Italy, September 11-13, 2002 : revised papers
Published: (2003)

Designing privacy enhancing technologies design issues in anonymity and unobservability proceedings of the...held July 25 - 26, 2000
Published: (2001)

Verification and validation of rule-based expert systems
by: Smith, Suzanne 1953-
Published: (1993)

Trustworthy computing analytical and quantitative engineering evaluation
by: Sahinoglu, Mehmet 1951-
Published: (2007)

Intelligence and security informatics Pacific Asia workshop, PAISI 2010, Hyderabad, India, June 21, 2010 : proceedings
Published: (2010)

The modelling and analysis of security protocols the CSP approach
by: Ryan, Peter
Published: (2001)

Information and communications security 7th international conference, ICICS 2005, Beijing, China, December 10-13, 2005 : proceedings
Published: (2005)

Security and Trust in Online Social Networks
by: Carminati, Barbara
Published: (2014)

Computational intelligence and security international conference, CIS 2005, Xi'an, China, December 15-19, 2005 : proceedings
Published: (2005)

Security and privacy in advanced networking technologies
Published: (2004)

Mathematical modelling for information technology telecommunication transmission, reception, and security
Published: (1988)

Recent Technical Developments In Telecommunications Lectures given during the International Chair in Computer Science, held from December 1989 to March 1990
Published: (1992)

Hacker V Pakar Keselamatan Rangkaian - Norton Internet Security
by: PC Man
Published: (2003)

Program verification fundamental issues in computer science
Published: (1993)

Computational intelligence and security international conference, CIS 2006, Guangzhou, China, November 3-6, 2006 : revised selected papers
Published: (2007)

Trust and security in collaborative computing
by: Zou, Xukai 1963-
Published: (2008)

Security and embedded systems
Published: (2006)

Program verification
by: Francez, Nissim
Published: (1992)

Principles of the Spin model checker
by: Ben-Ari, M.
Published: (2008)

Systems and software verification model-checking techniques and tools
Published: (2001)

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

Information security and cryptology first SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005 : proceedings
Published: (2005)

Fuzzing brute force vulnerabilty discovery
by: Sutton, Michael 1973-
Published: (2007)

Computer safety, reliability, and security 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings
Published: (2007)

Networks, security and soft computing trends and future directions
Published: (2007)

Computer safety, reliability and security proceedings of the ...held September 26 - 28, 2001
Published: (2001)

Computer security proceedings of the ...held October 4 - 6, 2000
Published: (2000)

Computer security ESORICS 92 proceedings of the ... held November 23-25, 1992
Published: (1992)

Rigorous software development an introduction to program verification
Published: (2011)

SOFSEM'99 theory and practice of informatics proceedings of the ...held November 27 - December 4, 1999
Published: (1999)

Computational intelligence in security for information systems 2010 proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS 2010)
Published: (2010)