An Entity of Type: organisation, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Proof-Carrying Code to jedna z technik matematycznego dowodzenia poprawności programu. Koncepcję tę po raz pierwszy w takim sformułowaniu wyraził w 1998 roku George Ciprian Necula. PCC polega na dołączeniu do skompilowanego programu dowodu spełnialności tzw. warunku weryfikacyjnego tego programu. Weryfikacja tego dowodu może odbyć się po stronie klienta i jej przebieg nie zależy od źródła pochodzenia kodu. System korzystający z proof-carrying code składa się z:

Property Value
dbo:abstract
  • Proof-Carrying Code to jedna z technik matematycznego dowodzenia poprawności programu. Koncepcję tę po raz pierwszy w takim sformułowaniu wyraził w 1998 roku George Ciprian Necula. PCC polega na dołączeniu do skompilowanego programu dowodu spełnialności tzw. warunku weryfikacyjnego tego programu. Weryfikacja tego dowodu może odbyć się po stronie klienta i jej przebieg nie zależy od źródła pochodzenia kodu. System korzystający z proof-carrying code składa się z: * Trusted Computing Base (zaufana baza obliczeniowa), czyli część infrastruktury, której klient ufa. W miarę możliwości powinna zawierać jak najmniej. Zwykle w skład wchodzą: * Fizyczny procesor bądź też maszyna wirtualna * Generator warunków weryfikacyjnych (Verification Condition Generator) * Weryfikator dowodów (w niektórych systemach nie wchodzi on w skład TCB) * System operacyjny, biblioteka standardowa, inny wykorzystywany sprzęt itd. * Security Policy , czyli formalny system logiczny złożony z aksjomatów, reguł oraz twierdzenia o bezpieczeństwie mówiącego, że każdy program, którego warunek weryfikacyjny (formuła logiczna powstała przez przeskanowanie kodu binarnego programu, zbudowana według algorytmu, do którego odwoływać się musi twierdzenie) jest spełnialny można uznać za bezpieczny według tej polisy. Klient infrastruktury PCC musi albo przestudiować dowód twierdzenia o bezpieczeństwie albo mu zaufać - każdy błąd w dowodzie jest potencjalną luką w bezpieczeństwie PCC. (pl)
  • Proof-Carrying Code to jedna z technik matematycznego dowodzenia poprawności programu. Koncepcję tę po raz pierwszy w takim sformułowaniu wyraził w 1998 roku George Ciprian Necula. PCC polega na dołączeniu do skompilowanego programu dowodu spełnialności tzw. warunku weryfikacyjnego tego programu. Weryfikacja tego dowodu może odbyć się po stronie klienta i jej przebieg nie zależy od źródła pochodzenia kodu. System korzystający z proof-carrying code składa się z: * Trusted Computing Base (zaufana baza obliczeniowa), czyli część infrastruktury, której klient ufa. W miarę możliwości powinna zawierać jak najmniej. Zwykle w skład wchodzą: * Fizyczny procesor bądź też maszyna wirtualna * Generator warunków weryfikacyjnych (Verification Condition Generator) * Weryfikator dowodów (w niektórych systemach nie wchodzi on w skład TCB) * System operacyjny, biblioteka standardowa, inny wykorzystywany sprzęt itd. * Security Policy , czyli formalny system logiczny złożony z aksjomatów, reguł oraz twierdzenia o bezpieczeństwie mówiącego, że każdy program, którego warunek weryfikacyjny (formuła logiczna powstała przez przeskanowanie kodu binarnego programu, zbudowana według algorytmu, do którego odwoływać się musi twierdzenie) jest spełnialny można uznać za bezpieczny według tej polisy. Klient infrastruktury PCC musi albo przestudiować dowód twierdzenia o bezpieczeństwie albo mu zaufać - każdy błąd w dowodzie jest potencjalną luką w bezpieczeństwie PCC. (pl)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3929020 (xsd:integer)
dbo:wikiPageLength
  • 3432 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 909473025 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • Proof-Carrying Code to jedna z technik matematycznego dowodzenia poprawności programu. Koncepcję tę po raz pierwszy w takim sformułowaniu wyraził w 1998 roku George Ciprian Necula. PCC polega na dołączeniu do skompilowanego programu dowodu spełnialności tzw. warunku weryfikacyjnego tego programu. Weryfikacja tego dowodu może odbyć się po stronie klienta i jej przebieg nie zależy od źródła pochodzenia kodu. System korzystający z proof-carrying code składa się z: (pl)
  • Proof-Carrying Code to jedna z technik matematycznego dowodzenia poprawności programu. Koncepcję tę po raz pierwszy w takim sformułowaniu wyraził w 1998 roku George Ciprian Necula. PCC polega na dołączeniu do skompilowanego programu dowodu spełnialności tzw. warunku weryfikacyjnego tego programu. Weryfikacja tego dowodu może odbyć się po stronie klienta i jej przebieg nie zależy od źródła pochodzenia kodu. System korzystający z proof-carrying code składa się z: (pl)
rdfs:label
  • Proof-Carrying Code (de)
  • Proof-carrying code (en)
  • Proof-Carrying Code (pl)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License