|
|
|
Proof-Carrying Code: Applicative Programming Language, Domain-Specific Language, Expression-Oriented Programming Language
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
März 2026
|
| Genre: |
EDV / Informatik |
| ISBN: |
9786133194823 |
|
EAN-Code:
|
9786133194823 |
| Verlag: |
Omniscriptum |
| Einband: |
Kartoniert |
| Sprache: |
English
|
| Dimensionen: |
H 220 mm / B 150 mm / D 6 mm |
| Gewicht: |
143 gr |
| Seiten: |
84 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| Please note that the content of this book primarily consists of articles
available from Wikipedia or other free sources online. 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. |
|
Newsfeed | 
Facebook | 
Twitter
