KeyAgreement.mark

// SPDX-License-Identifier: Apache-2.0

/*
 * Copyright (c) 2020-2023, Fraunhofer AISEC. All rights reserved.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      https://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
 *     _____          _
 *    / ____|        | |
 *   | |     ___   __| |_   _ _______
 *   | |    / _ \ / _` | | | |_  / _ \
 *   | |___| (_) | (_| | |_| |/ /  __/
 *    \_____\___/ \__,_|\__, /___\___|
 *                      __/ |
 *                     |___/
 */
package java.jca

entity KeyAgreement {
    
    var algorithm;
    var provider;
    
    var key;
    var random;
    var params;
    
    op instantiate {
        javax.crypto.KeyAgreement.getInstance(
            algorithm : java.lang.String
        );
        javax.crypto.KeyAgreement.getInstance(
            algorithm : java.lang.String,
            provider : java.lang.String | java.security.Provider
        );
    }
    
    op initialize {
        javax.crypto.KeyAgreement.init(
            key : java.security.Key
        );
        javax.crypto.KeyAgreement.init(
            key : java.security.Key,
            random : java.security.SecureRandom
        );
        javax.crypto.KeyAgreement.init(
            key : java.security.Key,
            params : java.security.spec.AlgorithmParameterSpec
        );
        javax.crypto.KeyAgreement.init(
            key : java.security.Key,
            params : java.security.spec.AlgorithmParameterSpec,
            random : java.security.SecureRandom
        );
    }
    
    op doPhase {
        javax.crypto.KeyAgreement.doPhase(
            key : java.security.Key,
            lastPhase : boolean
        );
    }
    
    op generate {
        javax.crypto.KeyAgreement.generateSecret();
        javax.crypto.KeyAgreement.generateSecret(
            sharedSecret : byte[],
            _
        );
        javax.crypto.KeyAgreement.generateSecret(
            algorithm : java.lang.String
        );
    }
}