Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Proof-carrying_code> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Proof-carrying_code abstract "Proof-carrying code (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application's executable code. The host system can quickly verify the validity of the proof, and it can compare the conclusions of the proof to its own security policy to determine whether the application is safe to execute. This can be particularly useful in ensuring memory safety, i.e. preventing buffer overflows and other vulnerabilities common in some programming languages.Proof-carrying code was originally described in 1996 by George Necula and Peter Lee.".
- Proof-carrying_code wikiPageExternalLink pcc_lncs98.ps.
- Proof-carrying_code wikiPageExternalLink thesis.pdf.
- Proof-carrying_code wikiPageExternalLink tr96-165.ps.gz.
- Proof-carrying_code wikiPageID "3929020".
- Proof-carrying_code wikiPageLength "3395".
- Proof-carrying_code wikiPageOutDegree "20".
- Proof-carrying_code wikiPageRevisionID "704687843".
- Proof-carrying_code wikiPageWikiLink Automated_theorem_proving.
- Proof-carrying_code wikiPageWikiLink Buffer_overflow.
- Proof-carrying_code wikiPageWikiLink Category:Computer_security.
- Proof-carrying_code wikiPageWikiLink Category:Dependently_typed_programming.
- Proof-carrying_code wikiPageWikiLink Category:Formal_methods.
- Proof-carrying_code wikiPageWikiLink Category:Programming_language_theory.
- Proof-carrying_code wikiPageWikiLink Certifying_compiler.
- Proof-carrying_code wikiPageWikiLink Domain-specific_language.
- Proof-carrying_code wikiPageWikiLink Firewall_(computing).
- Proof-carrying_code wikiPageWikiLink Formal_proof.
- Proof-carrying_code wikiPageWikiLink Formal_verification.
- Proof-carrying_code wikiPageWikiLink George_Necula.
- Proof-carrying_code wikiPageWikiLink Memory_safety.
- Proof-carrying_code wikiPageWikiLink Peter_Lee_(computer_scientist).
- Proof-carrying_code wikiPageWikiLink Program_derivation.
- Proof-carrying_code wikiPageWikiLink Programming_language.
- Proof-carrying_code wikiPageWikiLink Protection_ring.
- Proof-carrying_code wikiPageWikiLink Sandbox_(computer_security).
- Proof-carrying_code wikiPageWikiLink Security_policy.
- Proof-carrying_code wikiPageWikiLink Typed_assembly_language.
- Proof-carrying_code wikiPageWikiLinkText "Proof-carrying code".
- Proof-carrying_code wikiPageWikiLinkText "proof-carrying code".
- Proof-carrying_code subject Category:Computer_security.
- Proof-carrying_code subject Category:Dependently_typed_programming.
- Proof-carrying_code subject Category:Formal_methods.
- Proof-carrying_code subject Category:Programming_language_theory.
- Proof-carrying_code hypernym Mechanism.
- Proof-carrying_code type Area.
- Proof-carrying_code type Organisation.
- Proof-carrying_code type Area.
- Proof-carrying_code type Method.
- Proof-carrying_code type Redirect.
- Proof-carrying_code comment "Proof-carrying code (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application's executable code. The host system can quickly verify the validity of the proof, and it can compare the conclusions of the proof to its own security policy to determine whether the application is safe to execute. This can be particularly useful in ensuring memory safety, i.e.".
- Proof-carrying_code label "Proof-carrying code".
- Proof-carrying_code sameAs Q2112919.
- Proof-carrying_code sameAs Proof-Carrying_Code.
- Proof-carrying_code sameAs Proof-Carrying_Code.
- Proof-carrying_code sameAs m.0b76q1.
- Proof-carrying_code sameAs Q2112919.
- Proof-carrying_code wasDerivedFrom Proof-carrying_code?oldid=704687843.
- Proof-carrying_code isPrimaryTopicOf Proof-carrying_code.