Specifying and Implementing Security Policies Using LaSCO, the Language for Security Constraints on Objects

James A. Hoagland, Raju Pandey

Type: Preprint

Publication Date: 2000-01-01

Citations: 19

DOI: https://doi.org/10.48550/arxiv.cs/0003066

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Security Policy Specification Using a Graphical Approach	1998	James A. Hoagland Raju Pandey Karl Levitt
+ PDF Chat	Formal specification and integration of distributed security policies	2017	Mohamed Mejri Hamdi Yahyaoui
+ PDF Chat	Machine Learning-Based Security Policy Analysis	2024	Krish Jain John Sum Pranav Kapoor Amir Eaman
+	Information Security Policies and Procedures	2014	Kerry Ann Anderson
+	IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)	2022	Lorenzo Ceragioli Letterio Galletta Pierpaolo Degano David Basin
+	Towards a Uniform Framework for Dynamic Analysis of Access Control Models	2017	Peter Amthor
+	The Anatomy and Facets of Dynamic Policies	2015	Niklas Broberg Bart van Delft David Sands
+	The Anatomy and Facets of Dynamic Policies	2015	Niklas Broberg Bart van Delft David Sands
+	The Anatomy and Facets of Dynamic Policies	2015	Niklas Broberg Bart van Delft David Sands
+ PDF Chat	Directed Security Policies: A Stateful Network Implementation	2014	Cornelius Diekmann Lars Hupel Georg Carle
+	Merlin: A Language for Provisioning Network Resources	2014	Robert Soulé Shrutarshi Basu Parisa Jalili Marandi Fernando Pedone Robert Kleinberg Emin Gün Sirer Nate Foster
+ PDF Chat	Merlin: A Language for Provisioning Network Resources	2014	Robert Soulé Shrutarshi Basu Parisa Jalili Marandi Fernando Pedone Robert Kleinberg Emin Gün Sirer Nate Foster
+	Merlin: A Language for Provisioning Network Resources	2014	Robert Soulé Shrutarshi Basu Parisa Jalili Marandi Fernando Pedone Robert Kleinberg Emin Gün Sirer Nate Foster
+	A Survey of Practical Formal Methods for Security	2021	Tomáš Kulík Brijesh Dongol Peter Gorm Larsen Hugo Daniel Macedo Steve Schneider Peter W. V. Tran‐Jørgensen Jim Woodcock
+ PDF Chat	XI Commandments of Kubernetes Security: A Systematization of Knowledge Related to Kubernetes Security Practices	2020	Md. Shazibul Islam Shamim Farzana Ahamed Bhuiyan Akond Rahman
+	XI Commandments of Kubernetes Security: A Systematization of Knowledge Related to Kubernetes Security Practices	2020	Md. Shazibul Islam Shamim Farzana Ahamed Bhuiyan Akond Rahman
+	XI Commandments of Kubernetes Security: A Systematization of Knowledge Related to Kubernetes Security Practices	2020	Md. Shazibul Islam Shamim Farzana Ahamed Bhuiyan Akond Rahman
+ PDF Chat	ESPOONERBAC: Enforcing security policies in outsourced environments	2012	Muhammad Rizwan Asghar Mihaela Ion Giovanni Russello Bruno Crispo
+	CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies	2023	Joe Stubbs Smruti Padhy Richard Cardone Steven Black
+ PDF Chat	Verifying Security Policies Using Host Attributes	2014	Cornelius Diekmann Stephan-A. Posselt Heiko Niedermayer Holger Kinkelin Oliver Hanka Georg Carle

Works That Cite This (2)

Action	Title	Year	Authors
+	The G-ACM Tool: using the Drools Rule Engine for Access Control Management.	2016	João Sá Sandra Alves Sabine Broda
+	A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations.	2021	Sandra Alves Jorge Iglésias

Works Cited by This (1)

Action	Title	Year	Authors
+	Security Policy Specification Using a Graphical Approach	1998	James A. Hoagland Raju Pandey Karl Levitt