Richard C. O'Brien is an author at Honeywell (United States) specializing in data security, formal verification, and information security.
Top concepts
EngineeringData SecurityComputer ScienceFormal VerificationInformation SecurityData PrivacyData ScienceFormal MethodsData ManagementSystem Software
Publications per year
1990–2003
3
3
The LDV Secure Relational DBMS Model.
J. Thomas Haigh, Richard C. O'Brien, Dan Thomsen · DBSec · 1990 · 43 citations
Noninterference and unwinding for LOCK
T. Fine, J. Thomas Haigh, Richard C. O'Brien et al. · 2003 · 20 citations
Dan Thomsen, Richard C. O'Brien, Christian Payne · 1999 · 15 citations · Full text
Rows per page
1–3 of 3