JML

Uses of Class
java.security.SecureRandom

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

Uses of SecureRandom in java.security
 

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

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

Methods in java.security 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

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.