Richard C. Linger (Oak Ridge National Laboratory)
Oak Ridge National Laboratory
Publications by Richard C. Linger (Oak Ridge National Laboratory)
-
Development of a Master of Software Assurance Reference Curriculum - 2013 IJSSE
July 31, 2013 • White Paper
Andrew J. Kornecki (Embry-Riddle Aeronautical University)James McDonald (Monmouth University)Julia H. Allen
In this paper, the authors present an overview of the Master of Software Assurance curriculum, including its history, student prerequisites, and outcomes
read -
Software Assurance Curriculum Master Bibliography and Course References
June 01, 2011 • User's Guide
Julia H. AllenNancy R. MeadMark A. Ardis (Stevens Institute of Technology)
In this report, the authors provide the master bibliography that is used with the software assurance curriculum.
read -
Software Assurance Curriculum Project Volume III: Master of Software Assurance Course Syllabi
March 01, 2011 • Technical Report
Nancy R. MeadJulia H. AllenMark A. Ardis (Stevens Institute of Technology)
In this report, the authors provide sample syllabi for the nine core courses in the Master of Software Assurance Reference Curriculum.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
Function Extraction (FX) Research for Computation of Software Behavior: 2010 Development and Application of Semantic Reduction Theorems for Behavior Analysis
February 01, 2011 • Technical Report
Richard C. Linger (Oak Ridge National Laboratory)Tim DalyMark Pleszkoch
In this report, the authors present research to compute the behavior of software with mathematical precision and how this research has been implemented.
read -
Software Assurance: A Master's Level Curriculum
October 26, 2010 • Podcast
Nancy R. MeadThomas B. Hilburn (Embry-Riddle Aeronautical University)Richard C. Linger (Oak Ridge National Laboratory)
In this podcast, participants explain how knowledge about software assurance is essential to ensure that complex systems function as intended.
learn more -
Development of a Master of Software Assurance Reference Curriculum - 2010 IJSSE
October 01, 2010 • Article
Nancy R. MeadJulia H. AllenMark A. Ardis (Stevens Institute of Technology)
In this article, the authors summarize the Master of Software Assurance curriculum project, including its history, outcomes, a core body of knowledge, and curriculum architecture.
read -
Software Assurance Curriculum Project Volume I: Master of Software Assurance Reference Curriculum
August 01, 2010 • Technical Report
Nancy R. MeadJulia H. AllenMark A. Ardis (Stevens Institute of Technology)
In this report, the authors present a master of software assurance curriculum that educational institutions can use to create a degree program or track.
read -
Software Assurance Curriculum Project Volume II: Undergraduate Course Outlines
August 01, 2010 • Technical Report
Nancy R. MeadThomas B. Hilburn (Embry-Riddle Aeronautical University)Richard C. Linger (Oak Ridge National Laboratory)
In this report, the authors describe seven courses for an undergraduate curriculum specialization for software assurance.
read -
Computational Evaluation of Software Security Attributes
June 01, 2009 • White Paper
Gwendolyn H. WaltonThomas A. LongstaffRichard C. Linger (Oak Ridge National Laboratory)
This paper provides an introduction to the CSA approach, provides behavioral requirements for security attributes, and discusses possible application of the CSA approach.
read -
Introducing Function Extraction into Software Testing (July 2008)
July 14, 2008 • White Paper
Mark PleszkochRichard C. Linger (Oak Ridge National Laboratory)Alan R. Hevner (University of South Florida)
This paper describes the emerging technology of function extraction (FX).
read -
Results of SEI Independent Research and Development Projects (FY 2006)
July 01, 2007 • Technical Report
Christopher J. AlbertsEileen C. ForresterSuzanne Garcia-Miller
This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
read -
Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
April 29, 2007 • White Paper
Tim DalyRichard C. Linger (Oak Ridge National Laboratory)Stacy J. Prowell
This paper describes verification and certification challenges for avionics software.
read -
Technology Foundations for Computational Evaluation of Software Security Attributes
December 01, 2006 • Technical Report
Gwendolyn H. WaltonThomas A. LongstaffRichard C. Linger (Oak Ridge National Laboratory)
In this 2006 report, the authors describe foundations for computational security attributes technology.
read -
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
September 09, 2006 • White Paper
Richard C. Linger (Oak Ridge National Laboratory)Alan R. Hevner (University of South Florida)Gwendolyn H. Walton
This paper discusses FX technology.
read -
Ultra-Large-Scale Systems: The Software Challenge of the Future
June 01, 2006 • Book
Peter H. FeilerKevin Sullivan (University of Virginia)Kurt C. Wallnau
Ultra-Large-Scale Systems: The Software Challenge of the Future is the product of a 12-month study of ultra-large-scale (ULS) systems software.
read -
The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification
December 01, 2005 • Technical Note
Rosann W. CollinsAlan R. Hevner (University of South Florida)Gwendolyn H. Walton
In this report, the authors describe an experiment comparing traditional methods of comprehension with automated behavior computation using an FX prototype.
read -
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
December 01, 2005 • Technical Report
Rosann W. CollinsRick KazmanRichard C. Linger (Oak Ridge National Laboratory)
This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.
read -
The Impact of Function Extraction Technology on Next-Generation Software Engineering
July 01, 2005 • Technical Report
Alan R. Hevner (University of South Florida)Richard C. Linger (Oak Ridge National Laboratory)Rosann W. Collins
In this 2005 report, the authors summarize FX research and development and investigates the impact of FX on software engineering.
read -
Applying FSQ Engineering Foundations to Automated Calculation of Program Behavior
February 01, 2003 • Technical Note
Richard C. Linger (Oak Ridge National Laboratory)
In this report, Richard Linger describes the application of function-theoretic mathematical foundations to the problem of program behavior calculation.
read -
SEI Independent Research and Development Projects
October 01, 2002 • Technical Report
Steve CrossKurt C. WallnauEileen C. Forrester
This report describes the IR&D projects that were conducted during fiscal year 2002 (October 2001 through September 2002).
read -
Life-Cycle Models for Survivable Systems
October 01, 2002 • Technical Report
Richard C. Linger (Oak Ridge National Laboratory)Howard F. LipsonJohn McHugh
In this 2002 report, the authors describe a software development life-cycle model for survivability and illustrate techniques to support survivability goals.
read -
Flow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development
June 01, 2002 • Technical Note
Richard C. Linger (Oak Ridge National Laboratory)Mark PleszkochGwendolyn H. Walton
In this 2002 report, the authors describe Flow-Service-Quality engineering, an emerging technology for management, acquisition, and more.
read -
Foundations for Survivable Systems Engineering
May 20, 2002 • White Paper
Robert J. EllisonRichard C. Linger (Oak Ridge National Laboratory)Nancy R. Mead
In this paper, the authors describe their efforts to perform risk assessment and analyze and design robust survivable systems.
read -
Foundations for Survivable System Development: Service Traces, Intrusion Traces, and Evaluation Models
October 01, 2001 • Technical Report
Richard C. Linger (Oak Ridge National Laboratory)Andrew P. Moore
This 2001 paper describes initial work in the foundations stage for survivability specification and intrusion specification, as well as survivability evaluationmodels that draw upon both of these areas.
read -
Attack Modeling for Information Security and Survivability
March 01, 2001 • Technical Note
Andrew P. MooreRobert J. EllisonRichard C. Linger (Oak Ridge National Laboratory)
This technical note describes and illustrates an approach for documenting attack information in a structured and reusable form.
read -
Lifecycle Models for Survivable Systems
October 24, 2000 • Presentation
Richard C. Linger (Oak Ridge National Laboratory)
This presentation on the lifecycle models for survivable systems was presented by Rick Linger of the Software Engineering Institute (SEI) at the Information Survivability Workshop (ISW) 2000, held from October 24-26, 2000 in Boston, Massachusetts.
read -
Survivable Network Analysis Method
September 01, 2000 • Technical Report
Nancy R. MeadRobert J. EllisonRichard C. Linger (Oak Ridge National Laboratory)
This report, published in 2000, describes the SNA method developed at the SEI's CERT Coordination Center. The SNA method guides stakeholders through an analysis process intended to improve system survivability when a system is threatened.
read -
Cleanroom Software Engineering: Technology and Process
March 09, 1999 • Book
Richard C. Linger (Oak Ridge National Laboratory)Jesse H. PooreStacy J. Prowell
This book provides an in-depth description of the Cleanroom approach to high-quality software development, and discusses how Cleanroom is compatible with the Capability Maturity Model (CMM).
read -
Case Study in Survivable Network System Analysis
September 01, 1998 • Technical Report
Robert J. EllisonRichard C. Linger (Oak Ridge National Laboratory)Thomas A. Longstaff
In this report, the authors present a method for analyzing the survivability of distributed network systems and an example of its application.
read -
Survivable Network Systems: An Emerging Discipline
November 01, 1997 • Technical Report
David FisherRichard C. Linger (Oak Ridge National Laboratory)Howard F. Lipson
This 1997 report describes the survivability approach to helping assure that a system that must operate in an unbounded network is robust in the presence of attack and will survive attacks that result in successful intrusions.
read -
Cleanroom Software Engineering Implementation of the Capability Maturity Model (CMM) for Software
December 01, 1996 • Technical Report
Richard C. Linger (Oak Ridge National Laboratory)Mark C. PaulkCarmen J. Trammell
This report defines the Cleanroom software engineering implementation of theCapability Maturity Model for Software.
read -
Cleanroom Software Engineering Reference
November 01, 1996 • Technical Report
Richard C. Linger (Oak Ridge National Laboratory)Carmen J. Trammell
This report defines the Cleanroom Software Engineering Reference Model (CRM), which is intended as a guide for Cleanroom project management and performance, process assessment and improvement, and technology transfer and adoption.
read -
A Case Study in Requirements for Survivable Systems
January 01, 1996 • White Paper
Robert J. EllisonRichard C. Linger (Oak Ridge National Laboratory)Thomas A. Longstaff
This case study summarizes the application and results of applying the SNA method to a subsystem of a large-scale, distributed healthcare system.
read