A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Program verification: the very idea
Communications of the ACM
Strategies for incorporating formal specifications in software development
Communications of the ACM
Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
A new model of security for distributed systems
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Social processes and proofs of theorems and programs
Communications of the ACM
Designing for Reliability and Safety Control
Designing for Reliability and Safety Control
IEEE Software
Integrating Formal Methods into the Development Process
IEEE Software
Establishing the business value of network security using analytical hierarchy process
Creating business value with information technology
International Journal of Information and Computer Security
Reducing normative conflicts in information security
Proceedings of the 2011 workshop on New security paradigms workshop
Go with the flow: toward workflow-oriented security assessment
Proceedings of the 2013 workshop on New security paradigms workshop
Hi-index | 0.00 |