A model of the rijndael encryption system, operating in ECB mode. http://www.esat.kuleuven.ac.be/~rijmen/rijndael/index.html http://home.ecn.ab.ca/~jsavard/crypto/co040801.htm -A- -P- -P- This Block implements the rijndael block encryption algorithm. It consumes a block of 128 bits, encrypts it, and then outputs 128 encrypted bits. The 128 bit key to be used is specified by the key parameter (an array of unsigned bytes) The roundCount parameter gives the number of cipher rounds that should be performed, and should be 10 for 128 bit data and 128 bit key. -A- This block implements the key expansion and key selection. It basically implements a random number generator that uses the 128 bit user key as a seed. -A- The sdf delay actor, which behaves as an initial token on an arc. The sdf delay actor, which behaves as an initial token on an arc. Create a state machine here (and ports, if needed) and create refinements for the states. Each refinement needs a director. For hybrid system models, use the CTEmbeddedDirector. Create a constant sequence Create a state machine here (and ports, if needed) and create refinements for the states. Each refinement needs a director. For hybrid system models, use the CTEmbeddedDirector. A normal encryption round. -A- The final encryption round, which is similar to a normal encrpytion round, except that it lacks the MixColumn operation. This makes encrpytion and decryption more symmetric. -A- The 'first' encrpytion round, which just XORs the key -A- The sdf delay actor, which behaves as an initial token on an arc. Convert a sequence of 16 unsigned bytes into a hex form that makes it easy to compare with the test data. -A- The sdf delay actor, which behaves as an initial token on an arc. Create a constant sequence Write out tokens to a file or stdout The sdf delay actor, which behaves as an initial token on an arc. Create a constant sequence Create a sequence of tokens with increasing value Write out tokens to a file or stdout