Travelled to:1 × Germany
Collaborated with:M.Ullmann S.Wittmann
Talks about:secur (2) process (1) within (1) polici (1) formal (1) topic (1) model (1) engin (1) use (1) new (1)
Person: Frank Koob
DBLP: Koob:Frank
Contributed to:
1998Wrote 1 papers:
- FM-1998-KoobUW #formal method #modelling #policy #process #security #topic #using
- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process (FK, MU, SW), pp. 302–310.