Search results for "selinux"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Gaoshou Zhai, Wenlin Ma, Minli Tian, Na Yang, Chengyu Liu, Hengsheng Yang	Design and implementation of a tool for analyzing SELinux secure policy.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	security policy configuration, security policy description language, SELinux, integrity verification
3	Gail-Joon Ahn, Wenjuan Xu, Xinwen Zhang	Systematic Policy Analysis for High-Assurance Services in SELinux.	POLICY	2008	DBLP DOI BibTeX RDF	SELinux, Policy Analysis
3	Björn Vogel, Bernd Steinke	Using SELinux security enforcement in Linux-based embedded devices.	MOBILWARE	2008	DBLP DOI BibTeX RDF	security, embedded system, SELinux
3	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	Berthold Agreiter, Ruth Breu	Model-Driven Configuration of SELinux Policies.	OTM Conferences	2009	DBLP DOI BibTeX RDF
2	Pedro Chavez Lugo, Juan Manuel Garcia Garcia, Juan J. Flores	A System for Distributed SELinux Policy Management.	NSS	2009	DBLP DOI BibTeX RDF	Access, distributed, control, policies, administration, Kerberos, SELinux
2	Vikhyath Rao, Trent Jaeger	Dynamic mandatory access control for multiple stakeholders.	SACMAT	2009	DBLP DOI BibTeX RDF	mobile phones, selinux, distributed access control
2	Sandra Rueda, Hayawardh Vijayakumar, Trent Jaeger	Analysis of virtual machine system policies.	SACMAT	2009	DBLP DOI BibTeX RDF	xen security modules (xsm), virtual machines, selinux, policy analysis
2	Toshihiro Yokoyama, Miyuki Hanaoka, Makoto Shimamura, Kenji Kono	Simplifying security policy descriptions for internet servers in secure operating systems.	SAC	2009	DBLP DOI BibTeX RDF	policy description, SELinux, internet server, secure operating system
2	Wenjuan Xu, Mohamed Shehab, Gail-Joon Ahn	Visualization based policy analysis: case study in SELinux.	SACMAT	2008	DBLP DOI BibTeX RDF
2	Pravin Shinde, Priyanka Sharma, Srinivas Guntupalli	Automated Process Classi?cation Framework using SELinux Security Context.	ARES	2008	DBLP DOI BibTeX RDF	pcss, process classification using selinux security context, process classification framework, selniux
2	Masoom Alam, Jean-Pierre Seifert, Qi Li, Xinwen Zhang	Usage control platformization via trustworthy SELinux.	ASIACCS	2008	DBLP DOI BibTeX RDF	trusted computing, usage control, SELinux
2	Divya Muthukumaran, Anuj Sawani, Joshua Schiffman, Brian M. Jung, Trent Jaeger	Measuring integrity on mobile phone systems.	SACMAT	2008	DBLP DOI BibTeX RDF	mobile phones, SELinux, integrity measurement
2	Pravin Shinde, Priyanka Sharma, Srinivas Guntupalli	Enhanced Availability and Security by Rate Control Using Extended Policy Framework in SELinux.	IAS	2007	DBLP DOI BibTeX RDF
2	Xinwen Zhang, Onur Aciiçmez, Jean-Pierre Seifert	A trusted mobile phone reference architecturevia secure kernel.	STC	2007	DBLP DOI BibTeX RDF	trusted mobile computing, security architecture, isolation, SELinux, secure kernel
2	Arpan Darivemula, Chokchai Leangsuksun, Anand Tikotekar, Makan Pourzandi	Work in Progress: RASS Framework for a Cluster-Aware SELinux.	CCGRID	2006	DBLP DOI BibTeX RDF
2	SeongKi Kim, EunKyung Jin, YoungJin Song, Sang-Yong Han	Design and Implementation of Fast Access Control That Supports the Separation of Duty.	Inscrypt	2006	DBLP DOI BibTeX RDF	Flask, Access control, RBAC, SELinux, DAC
2	Yi-Ming Chen, Yung-Wei Kao	Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.	IWSEC	2006	DBLP DOI BibTeX RDF	information flow, security policy, Colored Petri Nets, SELinux
2	Vinod Ganapathy, Trent Jaeger, Somesh Jha	Automatic placement of authorization hooks in the linux security modules framework.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	LSM, hook placement, static analysis, SELinux
2	Giorgio Zanin, Luigi V. Mancini	Towards a formal model for security policies specification and validation in the selinux system.	SACMAT	2004	DBLP DOI BibTeX RDF	security enhanced linux, configuration, formal model
1	Z. Cliffe Schreuders, Tanya McGill, Christian Payne	Towards Usable Application-Oriented Access Controls: Qualitative Results from a Usability Study of SELinux, AppArmor and FBAC-LSM.	IJISP	2012	DBLP DOI BibTeX RDF
1	Z. Cliffe Schreuders, Tanya McGill, Christian Payne	Empowering End Users to Confine Their Own Applications: The Results of a Usability Study Comparing SELinux, AppArmor, and FBAC-LSM.	ACM Trans. Inf. Syst. Secur.	2011	DBLP DOI BibTeX RDF
1	Peter Amthor, Winfried E. Kühnhauser, Anja Pölck	Model-based safety analysis of SELinux security policies.	NSS	2011	DBLP DOI BibTeX RDF
1	Asaf Shabtai, Yuval Fledel, Yuval Elovici	Securing Android-Powered Mobile Devices Using SELinux.	IEEE Security & Privacy	2010	DBLP DOI BibTeX RDF
1	Yuichi Nakamura, Yoshiki Sameshima, Toshihiro Yamauchi	SELinux Security Policy Configuration System with Higher Level Language.	JIP	2010	DBLP DOI BibTeX RDF
1	Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick McDaniel	A logical specification and analysis for SELinux MLS policy.	ACM Trans. Inf. Syst. Secur.	2010	DBLP DOI BibTeX RDF
1	Linda Markowsky	An SELinux Sourcebook for Cybersecurity Educators.	Security and Management	2010	DBLP BibTeX RDF
1	Jaroslav Janácek	Two Dimensional Labelled Security Model with Partially Trusted Subjects and Its Enforcement Using SELinux DTE Mechanism.	NDT	2010	DBLP DOI BibTeX RDF
1	Asaf Shabtai	Malware Detection on Mobile Devices.	Mobile Data Management	2010	DBLP DOI BibTeX RDF	Security, Machine Learning, Mobile Devices, Malware, Android, SELinux
1	Boniface Hicks, Sandra Rueda, Dave King 0002, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick McDaniel, Trent Jaeger	An architecture for enforcing end-to-end access control over web applications.	SACMAT	2010	DBLP DOI BibTeX RDF	policy compliance, access control
1	Mathieu Blanc, Patrice Clemente, Jonathan Rouzaud-Cornabas, Christian Toinard	Classification of Malicious Distributed SELinux Activities.	JCP	2009	DBLP DOI BibTeX RDF
1	Yuichi Nakamura, Yoshiki Sameshima, Toshihiro Tabata	SEEdit: SELinux Security Policy Configuration System with Higher Level Language.	LISA	2009	DBLP BibTeX RDF
1	Machon B. Gregory, Angela S. Reninger	Teaching SELinux in Introductory Information Assurance Classes.	HICSS	2009	DBLP DOI BibTeX RDF
1	Berthold Agreiter	Model-driven configuration of os-level mandatory access control: research abstract.	ICSE Companion	2008	DBLP DOI BibTeX RDF	selinux, mac, model-driven security
1	Hiroaki Inoue, Junji Sakai, Sunao Torii, Masato Edahiro	FIDES: An advanced chip multiprocessor platform for secure next generation mobile terminals.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	Secure mobile terminal, chip multiprocessor, SELinux
1	Sandra Rueda, Yogesh Sreenivasan, Trent Jaeger	Flexible security configuration for virtual machines.	CSAW	2008	DBLP DOI BibTeX RDF	access control, virtual machines, policy, compliance
1	Hao Hu, Dengguo Feng	BIFI: Architectural Support for Information Flow Integrity Measurement.	CSSE	2008	DBLP DOI BibTeX RDF
1	Jérémy Briffaut, Jean-François Lalande, Waleed W. Smari	Team--Based MAC Policy over Security--Enhanced Linux.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Xinwen Zhang, Jean-Pierre Seifert, Ravi S. Sandhu	Security Enforcement Model for Distributed Usage Control.	SUTC	2008	DBLP DOI BibTeX RDF
1	Weiqing Sun, R. Sekar, Zhenkai Liang, V. N. Venkatakrishnan	Expanding Malware Defense by Securing Software Installations.	DIMVA	2008	DBLP DOI BibTeX RDF	Untrusted code, Software installation, Malicious code, Sandboxing
1	Peter R. Croll, Matthew Henricksen, William J. Caelli, Vicky Liu	Utilizing SELinux to Mandate Ultra-secure Access Control of Medical Records.	MedInfo	2007	DBLP DOI BibTeX RDF
1	Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren	Security policy analysis using deductive spreadsheets.	FMSE	2007	DBLP DOI BibTeX RDF	SELinux policy, security policy analysis, vulnerability analysis
1	Masoom Alam, Jean-Pierre Seifert, Xinwen Zhang	A Model-Driven Framework for Trusted Computing Based Systems.	EDOC	2007	DBLP DOI BibTeX RDF
1	Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W. Smith	Pastures: Towards Usable Security Policy Engineering.	ARES	2007	DBLP DOI BibTeX RDF
1	Gail-Joon Ahn, Dhruv Gami	Enabling Role-Based Delegation and Revocation on Security-Enhanced Linux.	ISCC	2007	DBLP DOI BibTeX RDF
1	William J. Caelli	Modernising MAC: New Forms for Mandatory Access Control in an Era of DRM.	SEC	2007	DBLP DOI BibTeX RDF
1	Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert	NETRA: : seeing through access control.	FMSE	2006	DBLP DOI BibTeX RDF	privilege escalation, vulnerability reports, static analysis
1	Trent Jaeger, Reiner Sailer, Umesh Shankar	PRIMA: policy-reduced integrity measurement architecture.	SACMAT	2006	DBLP DOI BibTeX RDF	Clark-Wilson Lite integrity, information flow, remote attestation
1	Bill MacCarty	SELinux - NSA's open source security enhanced linux: beating the o-day vulnerability threat.		2005	RDF
1	Lawrence Teo, Gail-Joon Ahn	Supporting access control policies across multiple operating systems.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	Chameleos, access control, operating systems, flexibility, extensibility, policy specification
1	Hiroaki Inoue, Akihisa Ikeno, Masaki Kondo, Junji Sakai, Masato Edahiro	FIDES: an advanced chip multiprocessor platform for secure next generation mobile terminals.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	secure mobile terminal, chip multiprocessor, linux
1	Elizabeth I. Leonard, Myla Archer	Extended abstract: organizing automaton specifications to achieve faithful representation.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Takashi Horie, Toshiharu Harada, Kazuo Tanaka	Adaptive Access Policy for the Linux Kernel.	SAINT	2005	DBLP DOI BibTeX RDF
1	Matthew Johnson, Frank Stajano	Implementing a Multi-hat PDA.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
1	Trent Jaeger, Reiner Sailer, Xiaolan Zhang	Resolving constraint conflicts.	SACMAT	2004	DBLP DOI BibTeX RDF	access control models, constraint models, policy design
1	John Marchesini, Sean W. Smith, Omen Wild, Joshua Stabiner, Alex Barsamian	Open-Source Applications of TCPA Hardware.	ACSAC	2004	DBLP DOI BibTeX RDF
1	Edward Bubnis, Shelby Evans, Peter Fischer, Elizabeth Meighan, Aswin Almeida	Open-Source PKI on SELinux A Technology Description.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Edward Bubnis, Shelby Evans, Peter Fischer, Elizabeth Meighan, Aswin Almeida	Open-Source PKI on SELinux.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Trent Jaeger, Xiaolan Zhang, Fidel Cacheda	Policy management using access control spaces.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, Access control models