High Assurance Services Computing, Fachbücher von Jing Dong, Liang-Jie Zhang, Raymond Paul

High Assurance Services Computing ist ein Fachbuch, das sich mit den neuesten Entwicklungen im Bereich des serviceorientierten Rechnens mit hohen Anforderungen an die Sicherheit beschäftigt. In einer Zeit, in der sowohl die Industrie als auch die Wissenschaft vor neuen Herausforderungen stehen, bietet dieses Buch wertvolle Einblicke in die Entwicklung von serviceorientierten Systemen, die strengen Sicherheitsanforderungen genügen. Es vereint Beiträge von anerkannten Forschenden aus der ganzen Welt und dokumentiert aktuelle Praktiken sowie aufkommende Methoden in diesem spezialisierten Bereich. Die Inhalte basieren auf Ergebnissen aus der Industrie, der Regierung, Forschungs- und Entwicklungsabteilungen sowie der akademischen Welt und beinhalten auch bisher unveröffentlichte Ergebnisse aus den praktischen Erfahrungen von Softwarefachleuten. Das Buch richtet sich an Praktiker und Forschende in industriellen Organisationen und Regierungsbehörden sowie an fortgeschrittene Studierende der Informatik und Ingenieurwissenschaften.