https://de.wikipedia.org/w/index.php?action=history&feed=atom&title=Proof-Carrying_Code 2025-06-03T07:29:12Z Versionsgeschichte dieser Seite in Wikipedia MediaWiki 1.45.0-wmf.3 https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=250083425&oldid=prev 2024-11-06T01:52:30Z

<p><a href="/wiki/Wikipedia:HC" class="mw-redirect" title="Wikipedia:HC">HC</a>: Ergänze <a href="/wiki/Kategorie:IT-Sicherheit" title="Kategorie:IT-Sicherheit">Kategorie:IT-Sicherheit</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 6. November 2024, 03:52 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 11:</td> <td colspan="2" class="diff-lineno">Zeile 11:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:IT-Sicherheit]]</div></td> </tr> </table>

Eragon Shadeslayer https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=207799519&oldid=prev 2021-01-18T12:49:08Z

<p><span class="autocomment">Weblinks: </span> https, Kleinkram</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 18. Januar 2021, 14:49 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 7:</td> <td colspan="2" class="diff-lineno">Zeile 7:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Weblinks ==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Weblinks ==</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code'', Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code'', Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula: ''[<del style="font-weight: bold; text-decoration: none;">http</del>://<del style="font-weight: bold; text-decoration: none;">www</del>.<del style="font-weight: bold; text-decoration: none;">cs</del>.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs] (PDF; 1,6&amp;nbsp;MB)''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula: ''[<ins style="font-weight: bold; text-decoration: none;">https</ins>://<ins style="font-weight: bold; text-decoration: none;">people</ins>.<ins style="font-weight: bold; text-decoration: none;">eecs</ins>.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs] (PDF; 1,6&amp;nbsp;MB)''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>*[<del style="font-weight: bold; text-decoration: none;">http</del>://software.imdea.org/~gbarthe/mobius/bin/view/Mobius/ProofCarryingCode.html Proof-Carrying Code im Projekt MOBIUS]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>*<ins style="font-weight: bold; text-decoration: none;"> </ins>[<ins style="font-weight: bold; text-decoration: none;">https</ins>://software.imdea.org/~gbarthe/mobius/bin/view/Mobius/ProofCarryingCode.html Proof-Carrying Code im Projekt MOBIUS]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> </tr> </table>

Aka https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=155096900&oldid=prev 2016-06-08T11:49:08Z

<p>BKL aufgelöst</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 8. Juni 2016, 13:49 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Proof-Carrying Code''' (PCC) ist ein 1996 von [[George Necula]] und [[Peter Lee]] entwickelter, effizienter [[Algorithmus]] für [[Computer]], mit dessen Hilfe die Eigenschaften von [[Anwendungssoftware]] und insbesondere die Einhaltung von [[Sicherheitsrichtlinie]]n überprüft und verifiziert werden können.</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Proof-Carrying Code''' (PCC) ist ein 1996 von [[George Necula]] und [[<ins style="font-weight: bold; text-decoration: none;">Peter Lee (Informatiker)|</ins>Peter Lee]] entwickelter, effizienter [[Algorithmus]] für [[Computer]], mit dessen Hilfe die Eigenschaften von [[Anwendungssoftware]] und insbesondere die Einhaltung von [[Sicherheitsrichtlinie]]n überprüft und verifiziert werden können.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Der automatische Algorithmus benutzt ein [[Axiomensystem]], um den [[Programmcode]] begleitende [[Metadaten]] zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur [[Laufzeit (Informatik)|Laufzeit]] müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die [[Ausnahmebehandlung]] bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um [[Sicherheitslücke (Software)|Sicherheitslücken]], wie zum Beispiel [[Pufferüberlauf|Pufferüberläufe]] oder [[Mehrdeutigkeit]]en (beispielsweise [[Typverletzung]], [[Überladen]] oder [[Polymorphie (Programmierung)|Polymorphie]]), zu verhindern, die häufig durch die Benutzung von unzureichenden [[Programmiersprache]]n bedingt sind.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Der automatische Algorithmus benutzt ein [[Axiomensystem]], um den [[Programmcode]] begleitende [[Metadaten]] zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur [[Laufzeit (Informatik)|Laufzeit]] müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die [[Ausnahmebehandlung]] bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um [[Sicherheitslücke (Software)|Sicherheitslücken]], wie zum Beispiel [[Pufferüberlauf|Pufferüberläufe]] oder [[Mehrdeutigkeit]]en (beispielsweise [[Typverletzung]], [[Überladen]] oder [[Polymorphie (Programmierung)|Polymorphie]]), zu verhindern, die häufig durch die Benutzung von unzureichenden [[Programmiersprache]]n bedingt sind.</div></td> </tr> </table>

HolgerH https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=117425802&oldid=prev 2013-04-12T12:55:15Z

<p><span class="autocomment">Weblinks: </span> kaputter Weblink ersetzt</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 12. April 2013, 14:55 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 8:</td> <td colspan="2" class="diff-lineno">Zeile 8:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code'', Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code'', Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula: ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs] (PDF; 1,6&amp;nbsp;MB)''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula: ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs] (PDF; 1,6&amp;nbsp;MB)''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>*[http://<del style="font-weight: bold; text-decoration: none;">mobius</del>.<del style="font-weight: bold; text-decoration: none;">inria</del>.<del style="font-weight: bold; text-decoration: none;">fr</del>/<del style="font-weight: bold; text-decoration: none;">twiki</del>/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>*[http://<ins style="font-weight: bold; text-decoration: none;">software</ins>.<ins style="font-weight: bold; text-decoration: none;">imdea</ins>.<ins style="font-weight: bold; text-decoration: none;">org</ins>/<ins style="font-weight: bold; text-decoration: none;">~gbarthe/mobius</ins>/bin/view/Mobius/ProofCarryingCode<ins style="font-weight: bold; text-decoration: none;">.html</ins> Proof-Carrying Code im Projekt MOBIUS]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> </tr> </table>

H.Marxen https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=116970821&oldid=prev 2013-04-04T07:56:46Z

<p>Bot: 2 <a href="/wiki/Hilfe:Internationalisierung" title="Hilfe:Internationalisierung">Interwiki-Link(s)</a> nach <a href="/wiki/Wikipedia:Wikidata" title="Wikipedia:Wikidata">Wikidata</a> (<a href="https://www.wikidata.org/wiki/Q2112919" class="extiw" title="d:Q2112919">d:Q2112919</a>) migriert</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 4. April 2013, 09:56 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 11:</td> <td colspan="2" class="diff-lineno">Zeile 11:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><br /></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[en:Proof-carrying code]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[pl:Proof-Carrying Code]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> </table>

KLBot2 https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=114945816&oldid=prev 2013-03-04T07:37:03Z

<p>Bot: Füge Dateiinformationen hinzu</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 4. März 2013, 09:37 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 7:</td> <td colspan="2" class="diff-lineno">Zeile 7:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Weblinks ==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Weblinks ==</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code'', Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code'', Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula: ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs]''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula: ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs]<ins style="font-weight: bold; text-decoration: none;"> (PDF; 1,6&amp;nbsp;MB)</ins>''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table>

MorbZ-Bot https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=102072231&oldid=prev 2012-04-15T12:13:17Z

<p><span class="autocomment">Weblinks: </span> Link funktioniert nicht mehr</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 15. April 2012, 14:13 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 6:</td> <td colspan="2" class="diff-lineno">Zeile 6:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Weblinks ==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Weblinks ==</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee<del style="font-weight: bold; text-decoration: none;">. [http</del>:<del style="font-weight: bold; text-decoration: none;">//www.cs.cmu.edu/~petel/publications/lncs98.pdf</del> ''Safe, Untrusted Agents Using Proof-Carrying Code''<del style="font-weight: bold; text-decoration: none;">]. </del> Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula und Peter Lee: ''Safe, Untrusted Agents Using Proof-Carrying Code''<ins style="font-weight: bold; text-decoration: none;">,</ins> Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula<del style="font-weight: bold; text-decoration: none;">.</del> ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs]''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula<ins style="font-weight: bold; text-decoration: none;">:</ins> ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs]''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table>

Bautsch https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=89958112&oldid=prev 2011-06-12T18:00:39Z

<p>bksfix mit <a href="/wiki/Wikipedia:AWB" class="mw-redirect" title="Wikipedia:AWB">AWB</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 12. Juni 2011, 20:00 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>'''Proof-Carrying Code''' (PCC) ist ein 1996 von [[George Necula]] und [[Peter Lee]] entwickelter, effizienter [[Algorithmus]] für [[Computer]], mit dessen Hilfe die Eigenschaften von [[Anwendungssoftware]] und insbesondere die Einhaltung von [[Sicherheitsrichtlinie]]n überprüft und verifiziert werden können.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>'''Proof-Carrying Code''' (PCC) ist ein 1996 von [[George Necula]] und [[Peter Lee]] entwickelter, effizienter [[Algorithmus]] für [[Computer]], mit dessen Hilfe die Eigenschaften von [[Anwendungssoftware]] und insbesondere die Einhaltung von [[Sicherheitsrichtlinie]]n überprüft und verifiziert werden können.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Der automatische Algorithmus benutzt ein [[Axiomensystem]], um den [[Programmcode]] begleitende [[Metadaten]] zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur [[Laufzeit (Informatik)|Laufzeit]] müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die [[Ausnahmebehandlung]] bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um [[Sicherheitslücke]]<del style="font-weight: bold; text-decoration: none;">n</del>, wie zum Beispiel [[Pufferüberlauf|Pufferüberläufe]] oder [[Mehrdeutigkeit]]en (beispielsweise [[Typverletzung]], [[Überladen]] oder [[Polymorphie (Programmierung)|Polymorphie]]), zu verhindern, die häufig durch die Benutzung von unzureichenden [[Programmiersprache]]n bedingt sind.</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Der automatische Algorithmus benutzt ein [[Axiomensystem]], um den [[Programmcode]] begleitende [[Metadaten]] zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur [[Laufzeit (Informatik)|Laufzeit]] müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die [[Ausnahmebehandlung]] bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um [[Sicherheitslücke<ins style="font-weight: bold; text-decoration: none;"> (Software)|Sicherheitslücken</ins>]], wie zum Beispiel [[Pufferüberlauf|Pufferüberläufe]] oder [[Mehrdeutigkeit]]en (beispielsweise [[Typverletzung]], [[Überladen]] oder [[Polymorphie (Programmierung)|Polymorphie]]), zu verhindern, die häufig durch die Benutzung von unzureichenden [[Programmiersprache]]n bedingt sind.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Mit dem Proof-Carrying Code kann auf einem [[Client]] bei der [[Installation (Computer)|Installation]] und der Ausführung von [[Computerprogramm]]en die Zuverlässigkeit und Vertrauenswürdigkeit einer Programmquelle in einem [[Rechnernetz]] überprüft werden. Dabei werden Metadaten vom [[Host (Informationstechnik)|Host]], dem sogenannten ''Programmcodeproduzenten'' abgerufen, mit deren Hilfe die Überprüfung auf dem Client, dem sogenannten ''Programmcodeverbraucher'', stattfinden kann.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Mit dem Proof-Carrying Code kann auf einem [[Client]] bei der [[Installation (Computer)|Installation]] und der Ausführung von [[Computerprogramm]]en die Zuverlässigkeit und Vertrauenswürdigkeit einer Programmquelle in einem [[Rechnernetz]] überprüft werden. Dabei werden Metadaten vom [[Host (Informationstechnik)|Host]], dem sogenannten ''Programmcodeproduzenten'' abgerufen, mit deren Hilfe die Überprüfung auf dem Client, dem sogenannten ''Programmcodeverbraucher'', stattfinden kann.</div></td> </tr> </table>

Inkowik https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=68055761&oldid=prev 2009-12-15T17:40:50Z

<p>Computer</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 15. Dezember 2009, 19:40 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Proof-Carrying Code''' (PCC) ist ein 1996 von [[George Necula]] und [[Peter Lee]] entwickelter, effizienter [[Algorithmus]] für [[<del style="font-weight: bold; text-decoration: none;">Rechenmaschine</del>]]<del style="font-weight: bold; text-decoration: none;">n</del>, mit dessen Hilfe die Eigenschaften von [[Anwendungssoftware]] und insbesondere die Einhaltung von [[Sicherheitsrichtlinie]]n überprüft und verifiziert werden können.</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Proof-Carrying Code''' (PCC) ist ein 1996 von [[George Necula]] und [[Peter Lee]] entwickelter, effizienter [[Algorithmus]] für [[<ins style="font-weight: bold; text-decoration: none;">Computer</ins>]], mit dessen Hilfe die Eigenschaften von [[Anwendungssoftware]] und insbesondere die Einhaltung von [[Sicherheitsrichtlinie]]n überprüft und verifiziert werden können.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Der automatische Algorithmus benutzt ein [[Axiomensystem]], um den [[Programmcode]] begleitende [[Metadaten]] zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur [[Laufzeit (Informatik)|Laufzeit]] müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die [[Ausnahmebehandlung]] bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um [[Sicherheitslücke]]n, wie zum Beispiel [[Pufferüberlauf|Pufferüberläufe]] oder [[Mehrdeutigkeit]]en (beispielsweise [[Typverletzung]], [[Überladen]] oder [[Polymorphie (Programmierung)|Polymorphie]]), zu verhindern, die häufig durch die Benutzung von unzureichenden [[Programmiersprache]]n bedingt sind.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Der automatische Algorithmus benutzt ein [[Axiomensystem]], um den [[Programmcode]] begleitende [[Metadaten]] zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur [[Laufzeit (Informatik)|Laufzeit]] müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die [[Ausnahmebehandlung]] bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um [[Sicherheitslücke]]n, wie zum Beispiel [[Pufferüberlauf|Pufferüberläufe]] oder [[Mehrdeutigkeit]]en (beispielsweise [[Typverletzung]], [[Überladen]] oder [[Polymorphie (Programmierung)|Polymorphie]]), zu verhindern, die häufig durch die Benutzung von unzureichenden [[Programmiersprache]]n bedingt sind.</div></td> </tr> </table>

Bautsch https://de.wikipedia.org/w/index.php?title=Proof-Carrying_Code&diff=57554615&oldid=prev 2009-03-07T11:30:10Z

<p>Bot: Ändere: <a href="https://en.wikipedia.org/wiki/Proof-carrying_code" class="extiw" title="en:Proof-carrying code">en:Proof-carrying code</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 7. März 2009, 13:30 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 9:</td> <td colspan="2" class="diff-lineno">Zeile 9:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula. ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs]''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* George C. Necula. ''[http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf Compiling with Proofs]''. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode Proof-Carrying Code im Projekt MOBIUS]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><br /></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"><a class="mw-diff-movedpara-left" title="Der Absatz wurde verschoben. Klicken, um zur neuen Stelle zu springen." href="#movedpara_3_2_rhs">&#x26AB;</a></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><a name="movedpara_1_1_lhs"></a>[[<del style="font-weight: bold; text-decoration: none;">en</del>:Proof-Carrying Code]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"><a class="mw-diff-movedpara-left" title="Der Absatz wurde verschoben. Klicken, um zur neuen Stelle zu springen." href="#movedpara_3_1_rhs">&#x26AB;</a></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><a name="movedpara_1_2_lhs"></a>[[<del style="font-weight: bold; text-decoration: none;">pl</del>:Proof-<del style="font-weight: bold; text-decoration: none;">Carrying</del> <del style="font-weight: bold; text-decoration: none;">Code</del>]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Sicherheitslücke]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker"><a class="mw-diff-movedpara-right" title="Der Absatz wurde verschoben. Klicken, um zur alten Stelle zu springen." href="#movedpara_1_2_lhs">&#x26AB;</a></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><a name="movedpara_3_1_rhs"></a>[[<ins style="font-weight: bold; text-decoration: none;">en</ins>:Proof-<ins style="font-weight: bold; text-decoration: none;">carrying</ins> <ins style="font-weight: bold; text-decoration: none;">code</ins>]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker"><a class="mw-diff-movedpara-right" title="Der Absatz wurde verschoben. Klicken, um zur alten Stelle zu springen." href="#movedpara_1_1_lhs">&#x26AB;</a></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><a name="movedpara_3_2_rhs"></a>[[<ins style="font-weight: bold; text-decoration: none;">pl</ins>:Proof-Carrying Code]]</div></td> </tr> </table>

GrouchoBot