key exchange

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/dseengine/DSEConfiguration.java

src/dseengine/DSEMappingSimulationResults.java

src/tmltranslator/SecurityPattern.java

src/tmltranslator/TMLMapping.java

src/tmltranslator/toavatar/TML2Avatar.java

src/tmltranslator/tomappingsystemc2/TML2MappingSystemC.java

src/ui/GTMLModeling.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TMLComponentDesignPanel.java

src/ui/tmlad/TMLADDecrypt.java

src/ui/tmlad/TMLADEncrypt.java

src/ui/tmlad/TMLActivityDiagramPanel.java

src/ui/tmldd/TMLArchiArtifact.java

src/ui/tmldd/TMLArchiKey.java

src/ui/window/JDialogArchiKey.java

src/ui/window/JDialogCryptographicConfiguration.java

src/ui/window/JDialogDSE.java