Search results for "Bell-lapadula"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jason Crampton, Wing Leung, Konstantin Beznosov	The secondary and approximate authorization model and its application to Bell-LaPadula policies.	SACMAT	2006	DBLP DOI BibTeX RDF	Bell-LaPadula model, authorization recycling, access control, SAAM
2	Gansen Zhao, David W. Chadwick	On the Modeling of Bell-LaPadula Security Policies Using RBAC.	WETICE	2008	DBLP DOI BibTeX RDF	Bell-LaPadula Security Policies, Modelling, RBAC
2	Stéphane Onno	A Federated Physical and Logical Access Control Enforcement Model.	ARES	2008	DBLP DOI BibTeX RDF	access control federation, logical access control, physical access control, Bell-lapadula
2	Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong	Secure Software Architectures.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	secure software architectures, open architectural standards, competitive success, secure system design, X/Open distributed transaction processing reference architecture, secure access control, Bell-LaPadula model, formal methods, authorisation, security properties, computer industry
1	Ebru Celikel Cankaya	Bell-LaPadula Confidentiality Model.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Shahriyar Mohammadi, Hediy Jahanshahi	A secure E-tendering system.	EIT	2009	DBLP DOI BibTeX RDF
1	Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka	Verification of Information Flow in Agent-Based Systems.	MCETECH	2009	DBLP DOI BibTeX RDF	Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic
1	Scott E. Coull, Matthew Green, Susan Hohenberger	Controlling Access to an Oblivious Database Using Stateful Anonymous Credentials.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
1	Lionel Habib, Mathieu Jaume, Charles Morisset	A Formal Comparison of the Bell & LaPadula and RBAC Models.	IAS	2008	DBLP DOI BibTeX RDF
1	Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John Andrew Clark	MLS security policy evolution with genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	policy inference, genetic programming, security policy, MLS
1	Shuangbao Wang, Qing Chen, Michael Behrmann	Agent-based ubiquitous m-learning portal for K-12 teachers.	CSTST	2008	DBLP DOI BibTeX RDF	vodcast, security, adaptive, intelligent agents, portal, m-Learning
1	Jafar Haadi Jafarian, Morteza Amini, Rasool Jalili	A Context-Aware Mandatory Access Control Model for Multilevel Security Environments.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Context-Awareness, Integrity, Confidentiality, Mandatory Access Control
1	Indrakshi Ray, Manachai Toahchoodee	A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications.	TrustBus	2008	DBLP DOI BibTeX RDF
1	Matthias Schwan	An extended model of security policy for multi-applicative smart cards.	ASIACCS	2007	DBLP DOI BibTeX RDF	biometrics, smart cards, security policy, electronic signatures
1	Trent Jaeger, Reiner Sailer, Yogesh Sreenivasan	Managing the risk of covert information flows in virtual machine systems.	SACMAT	2007	DBLP DOI BibTeX RDF	chinese wall policy, information flow secrecy, covert channels
1	Pau-Chen Cheng, Pankaj Rohatgi, Claudia Keser, Paul A. Karger, Grant M. Wagner, Angela Schuett Reninger	Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Marc Lelarge, Zhen Liu, Anton Riabov	Automatic Composition of Secure Workflows.	ATC	2006	DBLP DOI BibTeX RDF
1	Roderick Chapman, Adrian Hilton	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
1	Yixin Jiang, Chuang Lin, Hao Yin, Zhangxi Tan	Security analysis of mandatory access control model.	SMC	2004	DBLP DOI BibTeX RDF
1	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Edgar Weippl, Alexander Schatten, Shuaib Karim, A. Min Tjoa	SemanticLIFE Collaboration: Security Requirements and Solutions - Security Aspects of Semantic Knowledge Management.	PAKM	2004	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz	Security for Mobility.	FOSAD	2002	DBLP DOI BibTeX RDF
1	Trent Jaeger, Jonathon Tidswell	Practical safety in flexible access control models.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, Access control models
1	Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean	A Security Model for Military Message Systems: Retrospective.	ACSAC	2001	DBLP DOI BibTeX RDF	Storage channels, Security, Verification, confinement, message systems
1	Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll	Verification of a Formal Security Model for Multiapplicative Smart Cards.	ESORICS	2000	DBLP DOI BibTeX RDF
1	Vincent Nicomette, Yves Deswarte	An Authorization Scheme For Distributed Object Systems.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	multilevel security policy, authorization, delegation, object model, protection, access rights
1	Ross J. Anderson	A Security Policy Model for Clinical Information Systems.	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF	personal health information protection, medical ethics, privacy threats, restricted user numbers, restricted record numbers, strong notification property enforcement, localized information exposure, private banking, intelligence data management, security of data, data privacy, medical information systems, information flow control, DP management, clinical information systems, security policy model
1	Vincent Nicomette, Yves Deswarte	A Multilevel Security Model for Distributed Object Systems.	ESORICS	1996	DBLP DOI BibTeX RDF
1	Jan Verschuren, René Govaerts, Joos Vandewalle	Realization of the Bell-LaPadula Security Policy in an OSI-Distributed System using Asymmetric and Symmetric Cryptographic Algorithms.	CSFW	1992	DBLP BibTeX RDF
1	Ian Sutherland	Relating Bell-LaPadula-Style Security Models to Information Models.	CSFW	1988	DBLP BibTeX RDF