products/Sources/formale Sprachen/Coq/doc/stdlib/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: cryptoPerms   Sprache: Unknown

grant {
     // The stock JDK allows for 128 bit AES.
     // Grant up to 192 bits, but no further.
     permission javax.crypto.CryptoPermission "AES", 192;
};

[ Seitenstruktur0.0Drucken  etwas mehr zur Ethik  ]