Synthesising Verified Access Control Systems through Model Checking

N Zhang, D Guelev, Mark Ryan

Research output: Contribution to journal › Article

36 Citations (Scopus)

Original language	English
Pages (from-to)	1-61
Number of pages	61
Journal	Journal of Computer Security
Volume	16
Issue number	1
Publication status	Published - 1 Jan 2008

Access to Document

@article{d60f0e6eaf074f92bc0f23ad7c263e5c,

title = "Synthesising Verified Access Control Systems through Model Checking",

author = "N Zhang and D Guelev and Mark Ryan",

year = "2008",

month = jan,

day = "1",

language = "English",

volume = "16",

pages = "1--61",

journal = "Journal of Computer Security",

issn = "0926-227X",

publisher = "IOS Press",

number = "1",

}