Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Okada, Mitsu (Springer Berlin Heidelberg, 2020)