Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior (2004)


Download Links

by Mark G. Pleszkoch , Richard C. Linger
Venue:In Proceedings of the 37th Annual Hawaii International Conference on System Sciences. IEEE
Citations:18 - 10 self

Documents Related by Co-Citation

14 The impact of function extraction technology on next generation software engineering – Alan R Hevner, Richard C Linger, Rosann W Collins, Mark G Pleszkoch, Stacy J Prowell, Gwendolyn H Walton - 2005
10 The CERT function extraction experiment: Quantifying FX impact on software comprehension and verification – Rosann W Collins, Gwendolyn H Walton, Alan R Hevner, Richard C Linger - 2005
3188 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems – R.L. Rivest, A. Shamir, L. Adleman - 1978
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
425 Dynamo: A Transparent Dynamic Optimization System – Vasanth Bala, Evelyn Duesterwald , Sanjeev Banerjia - 2000
15 Function-Theoretic Principles of Program Understanding – M Pleszkoch, P Hausler, A Hevner, R Linger - 1990
8 Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior – Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
1165 Proof-Carrying Code – George C. Necula - 1997