-
- Downloads
Merge branch 'labsoc_sec' into 'master'
Fixed issue with lack of security generation See merge request !61
No related branches found
No related tags found
Showing
- doc/SysMLSec/fig/autogen2_t1.svg 565 additions, 0 deletionsdoc/SysMLSec/fig/autogen2_t1.svg
- doc/SysMLSec/fig/autogen2_t2.svg 649 additions, 0 deletionsdoc/SysMLSec/fig/autogen2_t2.svg
- doc/SysMLSec/fig/autogen_fv.svg 223 additions, 0 deletionsdoc/SysMLSec/fig/autogen_fv.svg
- doc/SysMLSec/fig/autogen_fv2.svg 283 additions, 0 deletionsdoc/SysMLSec/fig/autogen_fv2.svg
- doc/SysMLSec/fig/autogen_t1.svg 396 additions, 0 deletionsdoc/SysMLSec/fig/autogen_t1.svg
- doc/SysMLSec/fig/autogen_t2.svg 381 additions, 0 deletionsdoc/SysMLSec/fig/autogen_t2.svg
- doc/SysMLSec/fig/automaticgeneration.png 0 additions, 0 deletionsdoc/SysMLSec/fig/automaticgeneration.png
- doc/SysMLSec/fig/mappedkeys.svg 988 additions, 0 deletionsdoc/SysMLSec/fig/mappedkeys.svg
- doc/SysMLSec/sysmlsec_documentation.tex 65 additions, 0 deletionsdoc/SysMLSec/sysmlsec_documentation.tex
- src/main/java/proverifspec/ProVerifOutputAnalyzer.java 1 addition, 1 deletionsrc/main/java/proverifspec/ProVerifOutputAnalyzer.java
- src/main/java/tmltranslator/TMLModeling.java 3 additions, 3 deletionssrc/main/java/tmltranslator/TMLModeling.java
- src/main/java/tmltranslator/toavatar/TML2Avatar.java 21 additions, 7 deletionssrc/main/java/tmltranslator/toavatar/TML2Avatar.java
- src/main/java/ui/GTURTLEModeling.java 1 addition, 1 deletionsrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/HSMGeneration.java 46 additions, 11 deletionssrc/main/java/ui/HSMGeneration.java
- src/main/java/ui/SecurityGeneration.java 11 additions, 1 deletionsrc/main/java/ui/SecurityGeneration.java
- src/main/java/ui/window/JDialogCryptographicConfiguration.java 7 additions, 4 deletions...ain/java/ui/window/JDialogCryptographicConfiguration.java
- src/main/java/ui/window/JDialogProverifVerification.java 3 additions, 0 deletionssrc/main/java/ui/window/JDialogProverifVerification.java
Loading
Please register or sign in to comment