Formal Techniques for Networked and Distributed Systems - FORTE 2004
Contributors: David de Frutos-Escrig (Editor); Manuel Nunez (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 3, 2004
Language: eng
Format: Paperback
Number of pages: 377
ISBN-13: 9783540232520
Subjects: Computer Communications & Networking; General; Congresses; Computer network protocols; Operating Systems - General; Computers; Computers - General Information; Formal methods (Computer science); Computer Books: General; Formal methods (Computer scien; Distributed processing; Computer Science; Networking - General; Computers / Networking / General; Programming - Software Development; Electronic data processing
First sentence: NGSCB ("Next-Generation Secure Computing Base", formerly known as "Palladium") integrates hardware and software components that aim to help in protecting data and processes against software attacks [8,9,14,15].