Add security requirement: clean-up memory at program exit
Add architecture and design