Uses of Class

Packages that use SecureRandom JML Specifications for the corresponding types in the Java Developement Kit (JDK). 

Uses of SecureRandom in

Fields in declared as SecureRandom
protected  SecureRandom SignatureSpi.appRandom
private static SecureRandom SecureRandom.seedGenerator

Methods in that return SecureRandom
static SecureRandom SecureRandom.getInstance(String)
static SecureRandom SecureRandom.getInstance(String, String)
static SecureRandom SecureRandom.getInstance(String, Provider)

Methods in with parameters of type SecureRandom
protected  void SignatureSpi.engineInitSign(PrivateKey, SecureRandom)
 void Signature.initSign(PrivateKey privateKey, SecureRandom random)

Uses of SecureRandom in javax.crypto

Methods in javax.crypto with parameters of type SecureRandom
 void Cipher.init(int Param0, Key Param1, SecureRandom Param2)
 void Cipher.init(int Param0, Key Param1, AlgorithmParameterSpec Param2, SecureRandom Param3)
 void Cipher.init(int Param0, Key Param1, AlgorithmParameters Param2, SecureRandom Param3)
 void Cipher.init(int Param0, Certificate Param1, SecureRandom Param2)
protected abstract  void CipherSpi.engineInit(int, Key, SecureRandom)
protected abstract  void CipherSpi.engineInit(int, Key, AlgorithmParameterSpec, SecureRandom)
protected abstract  void CipherSpi.engineInit(int, Key, AlgorithmParameters, SecureRandom)


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.