Citation:IEEE WETICE Workshop on Enterprise Security Linz, Austria
Abstract:
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development. Due to its criticality, security should be integrated as a formal approach in the software life cycle.
