John D Ramsdell

John D Ramsdell

The MITRE Corporation - - / United States
Others
AD Scientific Index ID: 4398368
-
person_outline John D Ramsdell's MOST POPULAR ARTICLES
1-) Principles of remote attestationG Coker, J Guttman, P Loscocco, A Herzog, J Millen, B O’Hanlon, ...International Journal of Information Security 10 (2), 63-81, 20112282011
2-) Verifying information flow goals in security-enhanced LinuxJD Guttman, AL Herzog, JD Ramsdell, CW SkorupkaJournal of Computer Security 13 (1), 115-134, 20051262005
3-) Estimation of sparse Jacobian matricesGN Newsam, JD RamsdellSIAM Journal on Algebraic Discrete Methods 4 (3), 404-418, 19831041983
4-) Trust management in strand spaces: A rely-guarantee methodJD Guttman, FJ Thayer, JA Carlson, JC Herzog, JD Ramsdell, BT SniffenEuropean Symposium on Programming, 325-339, 2004962004
5-) VLISP: A verified implementation of SchemeJD Guttman, JD Ramsdell, M WandLisp and Symbolic Computation 8 (1), 5-32, 1995961995