JML

Uses of Interface
java.security.Key

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

Uses of Key in java.security
 

Subinterfaces of Key in java.security
 interface PrivateKey
           
 interface PublicKey
           
 

Uses of Key in java.security.interfaces
 

Subinterfaces of Key in java.security.interfaces
 interface RSAPrivateKey
           
 

Uses of Key in javax.crypto
 

Subinterfaces of Key in javax.crypto
 interface SecretKey
           
 

Fields in javax.crypto declared as Key
private  Key ExemptionMechanism.keyStored
           
 

Methods in javax.crypto that return Key
 Key Cipher.unwrap(byte[] Param0, String Param1, int Param2)
           
protected  Key CipherSpi.engineUnwrap(byte[], String, int)
           
 

Methods in javax.crypto with parameters of type Key
 void Cipher.init(int Param0, Key Param1)
           
 void Cipher.init(int Param0, Key Param1, SecureRandom Param2)
           
 void Cipher.init(int Param0, Key Param1, AlgorithmParameterSpec Param2)
           
 void Cipher.init(int Param0, Key Param1, AlgorithmParameterSpec Param2, SecureRandom Param3)
           
 void Cipher.init(int Param0, Key Param1, AlgorithmParameters Param2)
           
 void Cipher.init(int Param0, Key Param1, AlgorithmParameters Param2, SecureRandom Param3)
           
 byte[] Cipher.wrap(Key Param0)
           
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)
           
protected  byte[] CipherSpi.engineWrap(Key)
           
protected  int CipherSpi.engineGetKeySize(Key)
           
 boolean ExemptionMechanism.isCryptoAllowed(Key)
           
 void ExemptionMechanism.init(Key)
           
 void ExemptionMechanism.init(Key, AlgorithmParameterSpec)
           
 void ExemptionMechanism.init(Key, AlgorithmParameters)
           
 


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.