1. Secure software engineering teaching modules;Walden,2006
2. Practice, practice, practice... secure programmer!;Dark,2015
3. On the security of public-key protocols;Dolev;IEEE Transactions on information Theory,1983
4. Algebraic properties in alice and bob notation;Mödersheim,2009
5. Integrating formal methods for security in software security education;Modesti;Informatics in Education,2020