The HSR University of Applied Sciences in Switzerland has implemented the TKM from scratch using the Ada programming language. The new Design-by-Contract feature of Ada 2012 has been used for the implementation of state machines, to augment the confidence of operation according to the specification. The TKM works in conjunction with the strongSwan IKEv2 daemon to provide key management services for IPsec.
Read the project report http://www.codelabs.ch/tkm/ike-separation.pdf Visit the TKM project page http://www.codelabs.ch/tkm/ Visit the strongSwan project page http://www.strongswan.org/Categories
Open-DO Projects
Contact
info @ open-do.org