3
Publications
63
Citations
3
H-Index
1993
Active since
Affiliations
Rita Pascale is an author at University of North Carolina at Chapel Hill specializing in engineering, software analysis, and system software.
Top concepts
EngineeringSystem SoftwareComputer ScienceSoftware AnalysisComputer EngineeringInformation SecurityCryptographyData SecurityHardware SystemsHardware Security
Publications per year
1993–2003
3
3
A High Assurance Window System Prototype1
Jeremy Epstein, John McHugh, Hilarie Orman et al. · Journal of Computer Security · 1993 · 25 citations
Engineering, Hardware Verification Language, Information Security +18
A prototype B3 trusted X Window System
Jeremy Epstein, John McHugh, Rita Pascale et al. · 2002 · 24 citations
Engineering, Information Security, Computer Security Model +22
Evolution of a trusted B3 window system prototype
Jeremy Epstein, John McHugh, Rita Pascale et al. · 2003 · 14 citations
Engineering, Hardware Verification Language, Information Security +19
Rows per page
1–3 of 3