Search results for "multi-level security"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Eryk Kylikowski, Riccardo Scandariato, Wouter Joosen	Using Multi-Level Security Annotations to Improve Software Assurance.	HASE	2008	DBLP DOI BibTeX RDF
2	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
2	Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel	A logical specification and analysis for SELinux MLS policy.	SACMAT	2007	DBLP DOI BibTeX RDF	policy compliance, SELinux, policy analysis, multi-level security
2	Danièle Beauquier, Ruggero Lanotte	Hiding Information in Multi Level Security Systems.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
2	Mads Dam	Decidability and proof systems for language-based noninterference relations.	POPL	2006	DBLP DOI BibTeX RDF	intransitive noninterference, information flow, language-based security, noninterference, multi-level security
2	Paul A. Karger	Multi-Level Security Requirements for Hypervisors.	ACSAC	2005	DBLP DOI BibTeX RDF
2	David F. Ferraiolo, Serban I. Gavrila, Vincent C. Hu, D. Richard Kuhn	Composing and combining policies under the policy machine.	SACMAT	2005	DBLP DOI BibTeX RDF	access control, role based access control, separation of duty, multi-level security
2	Bogdan C. Popescu, Bruno Crispo, Andrew S. Tanenbaum	Support for multi-level security policies in DRM architectures.	NSPW	2004	DBLP DOI BibTeX RDF
2	T. F. Himdi, Ravi S. Sandhu	Lattice Based Models for Controlled Sharing of Confidential Information in the Saudi Hajj System.	ACSAC	1997	DBLP DOI BibTeX RDF	lattice based models, controlled sharing, confidential information, Saudi Hajj system, pilgrimage, annual event, Saudi Arabia, government ministries, trusted environment, Saudi ministries, no obligation access security, Chinese Wall security, information flow policy, interoperability, confidentiality, data sharing, security requirements, security requirement, government data processing, shared data, multi level security
2	John A. Davidson	Asymmetric Isolation.	ACSAC	1996	DBLP DOI BibTeX RDF	asymmetric isolation, unidirectional security, risk-free multi-level security, absolute security rule enforcement, security violations, multi-level communication handshaking, multiple single-level nodes, unidirectional links, hardware-enforced security, performance, cost, security of data, legacy systems, mandatory access control, downgrading
2	Richard Games, Arkady Kanevsky, Peter C. Krupp, Leonard Monk	Real-time communications scheduling for massively parallel processors. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time communications scheduling, computationally intensive, lifecycle costs, large-scale scientific computing, software challenges, processing nodes, real-time application benchmarks, scheduling, performance evaluation, fault tolerance, real-time systems, parallel processing, multiprocessor interconnection networks, multiprocessor interconnection networks, real-time scheduling, processor scheduling, real-time applications, massively parallel processors, multi-level security
1	Lansheng Han, Xiao Qu, Yuan Li, Tao Yin	The Probability of Trojan Attacks on Multi-level Security Strategy based Network.	JNW	2012	DBLP DOI BibTeX RDF
1	Mohamed Younis, Osama Farrag, Sookyoung Lee, William D'Amico	Optimized packet formation in multi-level security wireless data acquisition networks.	Security and Communication Networks	2011	DBLP DOI BibTeX RDF
1	Chao-Qin Gao, Chuang-Bai Xiao	A Security Model for Information Systems with Multi-level Security.	CIS	2011	DBLP DOI BibTeX RDF
1	Ya Hui Li, Wen Sheng Niu, Ya Di Zhang, Jian Feng Ma, Yu Long Shen	Key Management Protocol Based on Finely Granular Multi-level Security Method in Wireless Networks.	CIS	2011	DBLP DOI BibTeX RDF
1	Paul Watson	A Multi-Level Security Model for PartitioningWorkflows over Federated Clouds.	CloudCom	2011	DBLP DOI BibTeX RDF
1	Ying-Guang Sun	Access control method based on multi-level security tag for distributed database system.	EMEIT	2011	DBLP DOI BibTeX RDF
1	WeiPeng Liu	A Novel Duality and Multi-Level Security Model Based on Trusted State.	ISIA	2010	DBLP DOI BibTeX RDF
1	Unni Chandran, Dan Zhao	SS-KTC: A High-Testability Low-Overhead Scan Architecture with Multi-level Security Integration.	VTS	2009	DBLP DOI BibTeX RDF
1	Mudhakar Srivatsa, Dakshi Agrawal, Steffen Reidt	A metadata calculus for secure information sharing.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	access control, risk management, information flow
1	Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg	A decision support system for secure information sharing.	SACMAT	2009	DBLP DOI BibTeX RDF	flexible information sharing, justification for non-shareability, semantic reasoner, description logic
1	Kai Wang, Chuang Lin, Fangqin Liu	Quality of Protection with Performance Analysis in IP Multimedia Subsystem.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Chao Chen, Ke Wang, Shuren Liao, Qiuyan Zhang, Yiqi Dai	A Novel Server-Based Application Execution Architecture.	CSE	2009	DBLP DOI BibTeX RDF
1	Erdal Cayirci, Chunming Rong, Wim Huiskamp, Cor Verkoelen	Snow Leopard Cloud: A Multi-national Education Training and Experimentation Cloud and Its Security Challenges.	CloudCom	2009	DBLP DOI BibTeX RDF	Snow Leopard, military simulation, shared scenarios, LVC, multi-resolution simulation, training, experiment, exercise
1	Boleslaw Mikolajczak, Nirmal Gami	Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security.	JCP	2008	DBLP DOI BibTeX RDF
1	Pratik K. Biswas, Alexander Poylisher, Ritu Chadha, Abhrajit Ghosh	Hybrid testbeds for QoS management in opaque MANETS.	WICON	2008	DBLP DOI BibTeX RDF	admission control functionality (ACF), dynamic throughput graph (DTG), end-to-end (e2e), measurement-based admission control (MBAC), multi-level security (MLS), quality adjustment functionality (QAF), software-in-the-loop (SITL), quality of service (QoS), mobile ad hoc network (MANET), virtualization
1	David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber	The Caernarvon secure embedded operating system.	Operating Systems Review	2008	DBLP DOI BibTeX RDF	common criteria evaluation, embedded systems, mobile phones, operating systems, PDAs, smart cards, mandatory access controls
1	Na Zhao, Min Chen, Shu-Ching Chen, Mei-Ling Shyu	MRBAC: Hierarchical Role Management and Security Access Control for Distributed Multimedia Systems.	ISORC	2008	DBLP DOI BibTeX RDF	Role-based Access Control, distributed multimedia systems
1	Mohammad Alhammouri, Sead Muftic	Management of Groups and Group Keys in Multi-level Security Environments.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Access Control, Key Management, Key Agreement Protocols, Group Management
1	Shima Izadpanahi, Muhammad Reza Fatemi	Enhanced Multi-Level Security: Secure Sharing.	Security and Management	2007	DBLP BibTeX RDF
1	Bader Ali, Wilfred Villegas, Muthucumaru Maheswaran	A trust based approach for protecting user data in social networks.	CASCON	2007	DBLP DOI BibTeX RDF
1	Lennart Beringer, Martin Hofmann	Secure information flow and program logics.	CSF	2007	DBLP DOI BibTeX RDF
1	Alimuddin Mohammad, Alice Chen, Guijun Wang, Changzhou Wang, Rodolfo A. Santiago	A Multi-Layer Security Enabled Quality of Service (QoS) Management Architecture.	EDOC	2007	DBLP DOI BibTeX RDF	Multi-Layer Security (MLS), Quality of Service (QoS), Service Oriented Architecture (SOA)
1	Nirmal Gami, Boleslaw Mikolajczak	Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows.	ITNG	2007	DBLP DOI BibTeX RDF
1	Hong Zhang, Yeping He, Zhiguo Shi	A formal model for access control with supporting spatial context.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	constraints, RBAC, information security, lattice, MLS, formal model, spatial context
1	Arthur McDonald, Haklin Kimm, Haesun K. Lee, Ilhyun Lee	Applying a Multi-level Security Mechanism to a Network Address Translation Scheduler.	Computers and Their Applications	2006	DBLP BibTeX RDF
1	Kumar Simkhada, Tarik Taleb, Yuji Waizumi, Abbas Jamalipour, Kazuo Hashimoto, Nei Kato, Yoshiaki Nemoto	A Multi-level Security Based Autonomic Parameter Selection Approach for an Effective and Early Detection of Internet Worms.	GLOBECOM	2006	DBLP DOI BibTeX RDF
1	Jie Zhou, Jim Alves-Foss	Architecture-based refinements for secure computer systems design.	PST	2006	DBLP DOI BibTeX RDF	architectural refinement, non-functional requirements, multi-level security
1	SungRan Cho, Nick Koudas, Divesh Srivastava	Meta-data indexing for XPath location steps.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	hierarchical inheritance, meta-data index, XML
1	Francesca Levi	A typed encoding of boxed into safe ambients.	Acta Inf.	2006	DBLP DOI BibTeX RDF
1	André Adelsbach, Ulrich Huber, Ahmad-Reza Sadeghi	Property-Based Broadcast Encryption for Multi-level Security Policies.	ICISC	2005	DBLP DOI BibTeX RDF
1	Wassim Itani, Ayman I. Kayssi, Ali Chehab	Short Paper: PATRIOT- a Policy-Based, Multi-level Security Protocol for Safekeeping Audit Logs on Wireless Devices.	SecureComm	2005	DBLP DOI BibTeX RDF
1	Zhi-gang Liao, Zeng-zhi Li, Yan Chen, Tao Zhan	A Study of Secure Communications between Mobile Objects.	ICECCS	2005	DBLP DOI BibTeX RDF
1	Naren Kodali, Csilla Farkas, Duminda Wijesekera	Enforcing Semantics-Aware Security in Multimedia Surveillance.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
1	Moses Garuba, Edward Appiah, Legand L. Burge III	Performance Study of a MLS/DBMS Implemented as a Kernelized Architecture.	ITCC	2004	DBLP DOI BibTeX RDF
1	Clark Weissman	MLS-PCA: A High Assurance Security Architecture for Future Avionics.	ACSAC	2003	DBLP DOI BibTeX RDF
1	Casey Schaufler	They want froot loops why industry will continue to deliver multi-level security.	SACMAT	2001	DBLP DOI BibTeX RDF
1	Christina Yip Chung, Michael Gertz, Karl N. Levitt	Discovery of Multi-Level Security Policies.	DBSec	2000	DBLP BibTeX RDF
1	Ryong Lee, Yahiko Kambayashi	Data Security for Distributed Meeting Systems.	DEXA	2000	DBLP DOI BibTeX RDF
1	Sebastiaan H. von Solms, J. H. S. Geldenhuys	Managing multi level security in a military intranet environment.	Computers & Security	1999	DBLP DOI BibTeX RDF
1	Gerd Wagner	Multi-Level Security in Multiagent Systems.	CIA	1997	DBLP DOI BibTeX RDF
1	Marc Mehdi Ayadi, Dominique Bolignano	Verification of Cryptographic Protocols: An Experiment.	FME	1997	DBLP DOI BibTeX RDF	security, formal methods, cryptographic protocols, Coq
1	Daryl McCullough	Specifications for Multi-Level Security and a Hook-Up Property.	IEEE Symposium on Security and Privacy	1987	DBLP BibTeX RDF
1	Glenn H. MacEwen, B. Burwell, Z.-J. Lu	Multi-Level Security Based on Physical Distribution.	IEEE Symposium on Security and Privacy	1984	DBLP BibTeX RDF
1	Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson	Software Development and Proofs of Multi-Level Security.	ICSE	1976	DBLP BibTeX RDF