Made revisions to deal with AES-encrypted keys and assumed security properties.
Merge branch 'master' of https://github.com/superdude264/Contiki_CoreSec_Verification

Conflicts:
	apkes.spdl
Made more modifications to apkes.spdl in response to Scyther tests.