Verification and change-impact analysis of access-control policies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz
Verification and change-impact analysis of access-control policies
ICSE, 2005.

ICSE 2005
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICSE-2005-FislerKMT,
	author        = "Kathi Fisler and Shriram Krishnamurthi and Leo A. Meyerovich and Michael Carl Tschantz",
	booktitle     = "{Proceedings of the 27th International Conference on Software Engineering}",
	doi           = "10.1145/1062455.1062502",
	editor        = "Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh",
	pages         = "196--205",
	publisher     = "{ACM}",
	title         = "{Verification and change-impact analysis of access-control policies}",
	year          = 2005,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.