What people are saying - Write a review
We haven't found any reviews in the usual places.
Dependability A Unifying Concept
A Symbiotic Relationship between Formal Methods and Security
Multiple Dimensions of Integrating Development Technology
10 other sections not shown
abstraction actor analysis application software approach architecture areas attacks authentication Ballista testing behavior black box testing calls certificate complex components Computer Science Computer Security computer system concept configuration damage confinement data types database defined dependable systems detection distributed systems diversity e-system encryption environment error recovery evaluation example exception handling execution failure rates fault injection fault tolerance Fault-Tolerant Systems formal methods formal specification formal verification framework function hardware IEEE Computer IEEE Transactions implementation input interaction interface intrusion issues kernel language Laprie mechanisms meta-level model checking module nodes noninterference object object-oriented operating system parameters performance Petri nets POSIX problem Proc protocols public key real-time reconfiguration reliability requirements revocation notices safety semantics server software assurance Software Engineering software testing solution structure Symposium techniques test values tion validation verification Workshop