A Linear Time Algorithm for Deciding Subject Security

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Linear Time Algorithm for Deciding Subject Security

Full text

Pdf (465 KB)

Source

Journal of the ACM (JACM) archive
Volume 24 , Issue 3 (July 1977) table of contents

Pages: 455 - 464

Year of Publication: 1977

ISSN:0004-5411

Authors

R. J. Lipton	Department of Computer Science, Yale University, 10 Hillhouse Avenue, New Haven, CT
L. Snyder	Department of Computer Science, Yale University, 10 Hillhouse Avenue, New Haven, CT

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 44, Citation Count: 24

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322017.322025 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ellis Saul Cohen, Problems, mechanisms and solutions., 1976
	2	DENmNG, P J , AND GRAHAM, G S Protection--principles and pracuce Proc AFIPS 1972 SJCC, Vol 40, AFIPS Press, Montvale, N J , pp 417-429
	3	Michael A. Harrison , Walter L. Ruzzo , Jeffrey D. Ullman, On protection in operating systems, Proceedings of the fifth ACM symposium on Operating systems principles, p.14-24, November 19-21, 1975, Austin, Texas, United States
	4	Anita Katherine Jones, Protection in programmed systems., 1973
	5	JONES, A K, LwroN, R J, AND SNYDER, L A hnear time algorithm for deciding subJect-obJect security Proc 17th Annual FOCS Conf, Houston, 1976, pp 33-41,
	6	LwroN, R J , AND SNVDER, L Synchromzat~on and security In preparation, 1976

CITED BY 24

	Matt Bishop, Hierarchical Take-Grant Protection systems, ACM SIGOPS Operating Systems Review, v.15 n.5, p.109-122, December 1981
	Lawrence Snyder, On the synthesis and analysis of protection systems, ACM SIGOPS Operating Systems Review, v.11 n.5, p.141-150, November 1977
	Carl E. Landwehr, Formal Models for Computer Security, ACM Computing Surveys (CSUR), v.13 n.3, p.247-278, Sept. 1981
	Naftaly H. Minsky, Selective and locally controlled transport of privileges, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.573-602, Oct. 1984
	Rajeev Motwani , Rina Panigrahy , Vijay Saraswat , Suresh Ventkatasubramanian, On the decidability of accessibility problems (extended abstract), Proceedings of the thirty-second annual ACM symposium on Theory of computing, p.306-315, May 21-23, 2000, Portland, Oregon, United States
	Ravinderpal Singh Sandhu, The schematic protection model: its definition and analysis for acyclic attenuating schemes, Journal of the ACM (JACM), v.35 n.2, p.404-432, April 1988
	Ronald Fagin, On an authorization mechanism, ACM Transactions on Database Systems (TODS), v.3 n.3, p.310-319, Sept. 1978
	Alexander L. Wolf , Lori A. Clarke , Jack C. Wileden, A Model of Visibility Control, IEEE Transactions on Software Engineering, v.14 n.4, p.512-520, April 1988
	Ninghui Li , Mahesh V. Tripunitara, Security analysis in role-based access control, Proceedings of the ninth ACM symposium on Access control models and technologies, June 02-04, 2004, Yorktown Heights, New York, USA
	Ninghui Li , John C. Mitchell , William H. Winsborough, Beyond proof-of-compliance: security analysis in trust management, Journal of the ACM (JACM), v.52 n.3, p.474-514, May 2005
	C. Mohan, Survey of recent operating systems research, designs and implementations, ACM SIGOPS Operating Systems Review, v.12 n.1, p.53-89, January 1978
	Wen-Pai Lu , Malur K. Sundareshan, A Model for Multilevel Security in Computer Networks, IEEE Transactions on Software Engineering, v.16 n.6, p.647-659, June 1990
	Xinwen Zhang , Yingjiu Li , Divya Nalla, An attribute-based access matrix model, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Ninghui Li , Mahesh V. Tripunitara , Qihua Wang, Resiliency policies in access control, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	Prasad Naldurg , Stefan Schwoon , Sriram Rajamani , John Lambert, NETRA:: seeing through access control, Proceedings of the fourth ACM workshop on Formal methods in security, p.55-66, November 03-03, 2006, Alexandria, Virginia, USA
	Ninghui Li , Mahesh V. Tripunitara, Security analysis in role-based access control, ACM Transactions on Information and System Security (TISSEC), v.9 n.4, p.391-420, November 2006
	Xinwen Zhang , Ravi Sandhu , Francesco Parisi-Presicce, Safety analysis of usage control authorization models, Proceedings of the 2006 ACM Symposium on Information, computer and communications security, March 21-24, 2006, Taipei, Taiwan
	Philip Derrin , Kevin Elphinstone , Gerwin Klein , David Cock , Manuel M. T. Chakravarty, Running the manual: an approach to high-assurance microkernel development, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	Scott D. Stoller , Ping Yang , C R. Ramakrishnan , Mikhail I. Gofman, Efficient policy analysis for administrative role based access control, Proceedings of the 14th ACM conference on Computer and communications security, October 28-31, 2007, Alexandria, Virginia, USA
	Tomasz Jurdziski, On complexity of grammars related to the safety problem, Theoretical Computer Science, v.389 n.1-2, p.56-72, December, 2007
	Dhammika Elkaduwe , Philip Derrin , Kevin Elphinstone, Kernel design for isolation and assurance of physical memory, Proceedings of the 1st workshop on Isolation and integration in embedded systems, p.35-40, April 01-01, 2008, Glasgow, Scotland
	Charles R. Young, A security policy for a profile-oriented operating system, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
	Ninghui Li , Qihua Wang , Mahesh Tripunitara, Resiliency Policies in Access Control, ACM Transactions on Information and System Security (TISSEC), v.12 n.4, p.1-34, April 2009
	Ram Krishnan , Ravi Sandhu , Jianwei Niu , William H. Winsborough, Foundations for group-centric secure information sharing models, Proceedings of the 14th ACM symposium on Access control models and technologies, June 03-05, 2009, Stresa, Italy