Searching for authors named "Cristina Serban" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
From Formal Security Specifications to Executable Assertions - A Distributed Systems Preliminary Study
- … Study Cristina Serban and Bruce McMillin 1 April 27, 1995 CSC 95-01 Department of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
-
CCSP-A Formal System for Distributed Program Debugging
- … Number 94-30 HANAN LUTFIYYA, 1 BRUCE Mc. MILLIN, BETH ARROWSMITH, and CRISTINA SERBAN 2 Abstract One…
- Add To MetaCart
-
Run-Time Security Evaluation (RTSE) for Distributed Applications
- …Run-Time Security Evaluation (RTSE) for Distributed Applications Cristina Serban and Bruce Mc…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 3.
