Search results for "Bell-LaPadula"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	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
96	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
78	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
78	Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong	Secure Software Architectures.	S&P	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
57	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
57	Vincent Nicomette, Yves Deswarte	An Authorization Scheme For Distributed Object Systems.	S&P	1997	DBLP DOI BibTeX RDF	multilevel security policy, authorization, delegation, object model, protection, access rights
49	Roderick Chapman, Adrian Hilton 0002	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
47	H. C. Chong, K. L. Eddie Law	Multi-Blockchain Model for Data Sharing with Bell-LaPadula Access Control.	Blockchain	2023	DBLP DOI BibTeX RDF
47	Runnan Zhang, Gang Liu 0006, Hongzhaoning Kang, Quan Wang 0006, Yumin Tian, Can Wang	Improved Bell-LaPadula Model With Break the Glass Mechanism.	IEEE Trans. Reliab.	2021	DBLP DOI BibTeX RDF
47	Randhir Kumar, Rakesh Tripathi	Scalable and secure access control policy for healthcare system using blockchain and enhanced Bell-LaPadula model.	J. Ambient Intell. Humaniz. Comput.	2021	DBLP DOI BibTeX RDF
47	Li Yang 0012, Jin Wang 0001, Zhuo Tang, Neal N. Xiong	Using Conditional Random Fields to Optimize a Self-Adaptive Bell-LaPadula Model in Control Systems.	IEEE Trans. Syst. Man Cybern. Syst.	2021	DBLP DOI BibTeX RDF
47	Maximiliano Cristiá, Gianfranco Rossi	Automated Proof of Bell-LaPadula Security Properties.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
47	Maximiliano Cristiá, Gianfranco Rossi	Automated Proof of Bell-LaPadula Security Properties.	CoRR	2020	DBLP BibTeX RDF
47	Zhuo Tang, Xiaofei Ding, Ying Zhong, Li Yang 0012, Keqin Li 0001	A Self-Adaptive Bell-LaPadula Model Based on Model Training With Historical Access Logs.	IEEE Trans. Inf. Forensics Secur.	2018	DBLP DOI BibTeX RDF
47	Ebru Celikel Cankaya	Bell-LaPadula Confidentiality Model.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
47	Lionel Habib, Mathieu Jaume, Charles Morisset	A Formal Comparison of the Bell & LaPadula and RBAC Models.	IAS	2008	DBLP DOI BibTeX RDF
47	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 DOI BibTeX RDF
47	Ian Sutherland	Relating Bell-LaPadula-Style Security Models to Information Models.	CSFW	1988	DBLP BibTeX RDF
28	Shahriyar Mohammadi, Hediy Jahanshahi	A secure E-tendering system.	EIT	2009	DBLP DOI BibTeX RDF
28	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
28	Scott E. Coull, Matthew Green 0001, Susan Hohenberger	Controlling Access to an Oblivious Database Using Stateful Anonymous Credentials.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
28	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
28	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
28	Shuangbao Wang 0001, 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
28	Indrakshi Ray, Manachai Toahchoodee	A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications.	TrustBus	2008	DBLP DOI BibTeX RDF
28	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
28	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
28	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.	S&P	2007	DBLP DOI BibTeX RDF
28	Marc Lelarge, Zhen Liu 0001, Anton Riabov	Automatic Composition of Secure Workflows.	ATC	2006	DBLP DOI BibTeX RDF
28	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
28	Yixin Jiang, Chuang Lin 0002, Hao Yin, Zhangxi Tan	Security analysis of mandatory access control model.	SMC (6)	2004	DBLP DOI BibTeX RDF
28	Edgar R. 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
28	Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz	Security for Mobility.	FOSAD	2002	DBLP DOI BibTeX RDF
28	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
28	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
28	Vincent Nicomette, Yves Deswarte	A Multilevel Security Model for Distributed Object Systems.	ESORICS	1996	DBLP DOI BibTeX RDF
28	Ross J. Anderson	A Security Policy Model for Clinical Information Systems.	S&P	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