Terry C. Vickers Benzel

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Top Venues

IEEE Secur. Priv.

Publications

Terry C. Vickers Benzel, Eric O'Brien, Robert Rodriguez, William Arbaugh, E. John Sebes
Crossing the Great Divide: From Research to Market. IEEE Secur. Priv. 11 (2) (2013)
E. John Sebes, Terry C. Vickers Benzel
SIGMA: Security For Distributed Object Interoperability Between Trusted And Untrusted Systems. ACSAC (1996)
Mary M. Bernstein, Terry C. Vickers Benzel
Real-time trust with 'System Build': lessons learned. ACSAC (1993)
Terry C. Vickers Benzel
Developing trusted systems using DOD-STD-2167A. ACSAC (1989)
Terry C. Vickers Benzel
Verification technology and the A1 criteria. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Terry C. Vickers Benzel, Deborah A. Tavilla
Trusted Software Verification: A Case Study. IEEE Symposium on Security and Privacy (1985)