NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Proceedings of the Third International Workshop on Proof-Carrying Code and Software CertificationThis NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.
Document ID
20140000249
Acquisition Source
Ames Research Center
Document Type
Conference Proceedings
Authors
Ewen, Denney, W.
(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Jensen, Thomas
(Institut National de Recherche d'Informatique et d'Automatique Le Chesnay, France)
Date Acquired
January 16, 2014
Publication Date
October 1, 2009
Subject Category
Computer Programming And Software
Report/Patent Number
NASA/CP-2009-215403
ARC-E-DAA-TN787
Meeting Information
Meeting: International Workshop on Proof-Carrying Code and Software Certification
Location: Los Angeles, CA
Country: United States
Start Date: August 15, 2009
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available