Michael V. Joyce is an author at Mitre (United States) specializing in engineering, data security, and formal verification.
Top concepts
EngineeringVerificationData SecurityComputer ScienceFormal VerificationInformation SecurityTrustworthy ComputingSystem SoftwareSystems Engineering
Publications per year
1995–1995
2
2
Marshall D. Abrams, Michael V. Joyce · Computers & Security · 1995 · 38 citations
Trustworthy Computing, Trusted System Concepts, Trusted System +9
Marshall D. Abrams, Michael V. Joyce · Computers & Security · 1995 · 13 citations
Rows per page
1–2 of 2