Security policy alignment : a formal approach

W Pieters, T Dimkov, D Pavlovic

Research output: Contribution to journal › Article › Scientific › peer-review

Access to Document

@article{506389f0a4f8402bbc2ef063497111e6,

title = "Security policy alignment : a formal approach",

author = "W Pieters and T Dimkov and D Pavlovic",

note = "accepted version, 29 november 2012",

year = "2013",

doi = "10.1109/JSYST.2012.2221933",

language = "English",

volume = "7",

pages = "275--287",

journal = "IEEE Systems Journal",

issn = "1932-8184",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

number = "2",

}