A Generic Graphical Specification Environment for Security Protocol Modelling

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35515-3_32
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Towards a Generic Supporting Environment for Multiscale Modelling

2011English

Format for a Graphical Communication Protocol

1985English

Graphical Specification of Computation

1968English

Cryptanalysis of a Generic One-Round Key Exchange Protocol With Strong Security

IET Information Security
Computer NetworksSoftwareInformation SystemsCommunications
2018English

RPCSEC_GSS Protocol Specification

1997English

OpenDrift V1.0: A Generic Framework for Trajectory Modelling

Geoscientific Model Development
EarthSimulationPlanetary SciencesModeling
2018English

GENI: A Graphical Environment for Model-Based Control

Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
High Energy PhysicsInstrumentationNuclear
1990English

ECL: A Specification Environment for System-Level Design

English

Improved Security for Linearly Homomorphic Signatures: A Generic Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy