Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline

摘要: This contribution discusses two main lines of developments concerning the use formal methods in security engineering. Fully automated and highly specialized that hide most theory from its users are compared to models centered around explicit system models. It is argued only latter offer perspective comprehensively control development process with various aspects phases. In putting more emphasis on combination theories, fragmentation could be overcome by an integration presently still applied isolation.