Download crypto client ifc Free Java Code

Description

This project contains the non interference check for the client server encryption example in the paper "A Framework for the Cryptographic Verification of Java like Programs" at CSF 2012.

Source Files

The download file crypto-client-ifc-master.zip has the following entries.


.classpath//from   w w  w  .  jav  a2 s .  c  o m
.gitignore
.project
.settings/org.eclipse.jdt.core.prefs
README
build.xml
example/src/de/uni/trier/infsec/crypto/CryptoLib.java
example/src/de/uni/trier/infsec/crypto/KeyPair.java
example/src/de/uni/trier/infsec/environment/Environment.java
example/src/de/uni/trier/infsec/network/Network.java
example/src/de/uni/trier/infsec/network/NetworkError.java
example/src/de/uni/trier/infsec/pkenc/Decryptor.java
example/src/de/uni/trier/infsec/pkenc/Encryptor.java
example/src/de/uni/trier/infsec/pkenc/MessagePairList.java
example/src/de/uni/trier/infsec/pkenc/MessageTools.java
example/src/de/uni/trier/infsec/protocol/Client.java
example/src/de/uni/trier/infsec/protocol/Server.java
example/src/de/uni/trier/infsec/protocol/Setup.java
graphviewer-webstart.jnlp
src/RunClientServerIFC.java
src/edu/kit/ifc/IFC.java