MITS : models of IT security : security rules & regulations : an interpretation
Dines Bjørner · Institutional Repositories DataBase (IRDB) · 2007
We analyse the domain of IT systems and “add” to that domain the concept of IT Security Rules (and Regulations). The analysis is done, first informally, then formally. The informal analysis and its presentation follows the “dogmas” set out in Vol.3 of Software Engineering [1]. The formal presentation follows the principles and techniques and uses the tools outlined in Vols.1-2 of the afore-mentioned book [2, 3].