Computer Security, Dependability, and Assurance: From Needs to Solutions : Proceedings, 7-9 July 1998, York, England, 11-13 November, 1998, Williamsburg, Virginia

Front Cover
IEEE Computer Society Press, 1999 - Computers - 213 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Dependability A Unifying Concept
16
A Symbiotic Relationship between Formal Methods and Security
26
Multiple Dimensions of Integrating Development Technology
39
Copyright

10 other sections not shown

Common terms and phrases

Bibliographic information