NDLI: Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees

Please wait, while we are loading the content...

An approach to evaluate policy similarity

Enforcing access control over data streams

Privacy-aware role based access control

Towards a VMM-based usage control framework for OS kernel integrity protection

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees

Multilevel filesystems in solaris trusted extensions

Discretionary access control with the administrative role graph model

The role mining problem: finding a minimal descriptive set of roles

Action-status access control

A posteriori compliance control

Fine-grained access control to web databases

A privacy preserving assertion based policy language for federation systems

Managing the risk of covert information flows in virtual machine systems

Mesh: secure, lightweight grid middleware using existing SSH infrastructure

A formal approach for testing security rules

Inter-domain role mapping and least privilege

Specifications of a high-level conflict-free firewall policy language for multi-domain networks

PolicyMorph: interactive policy transformations for a logical attribute-based access control framework

Distributed access control: a privacy-conscious approach

A logical specification and analysis for SELinux MLS policy

New constructions for provably-secure time-bound hierarchical key assignment schemes

A note on the formalisation of UCON

Towards realizing a formal RBAC model in real systems

Role engineering using graph optimisation

Formalizing XML access control for update operations

Chinese-wall process confinement for practical distributed coalitions

PEI models towards scalable, usable and high-assurance information sharing

Using semantics for automatic enforcement of access control policies among dynamic coalitions

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees

Content Provider	ACM Digital Library
Author	Winslett, Marianne Minami, Kazuhiro Lee, Adam J.
Abstract	In distributed proof construction systems, information release policies can make it unlikely that any single node in the system is aware of the complete structure of any particular proof tree. This property makes it difficult for queriers to determine whether the proofs constructed using these protocols sampled a consistent snapshot of the system state; this has previously been shown to have dire consequences in decentralized authorization systems. Unfortunately, the consistency enforcement solutions presented in previous work were designed for systems in which only information encoded in certificates issued by certificate authorities is used during the decision-making process. Further, they assume that each piece of certified evidence used during proof construction is available to the decision-making node at runtime. In this paper, we generalize these previous results and present lightweight mechanisms through which consistency constraints can be enforced in proof systems in which the full details of a proof may be unavailable to the querier and the existence of certificate authorities for certifying evidence is unlikely; these types of distributed proof systems are likely candidates for use in pervasive computing and sensor network environments. We present modifications to one such distributed proof system that enable two types of consistency constraints to be enforced while still respecting the same confidentiality and integrity policies as the original proof system. Further, we detail a performance analysis that illustrates the modest overheads of our consistency enforcement schemes.
Starting Page	101
Ending Page	110
Page Count	10
File Format	PDF
ISBN	9781595937452
DOI	10.1145/1266840.1266856
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-06-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Pervasive computing Consistency Distributed proving
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (2007)

On the consistency of distributed proofs with hidden subtrees

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (2007)

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (extended version (2007)

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (2007)

On the consistency of distributed proofs with hidden subtrees (2006)

On the Consistency of Distributed Proofs with Hidden Subtrees (2010)

Confidentiality-preserving distributed proofs of conjunctive queries

TPVM: distributed concurrent computing with lightweight processes

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees

Similar Documents

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (2007)

On the consistency of distributed proofs with hidden subtrees

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (2007)

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (extended version (2007)

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees (2007)

On the consistency of distributed proofs with hidden subtrees (2006)

On the Consistency of Distributed Proofs with Hidden Subtrees (2010)

Confidentiality-preserving distributed proofs of conjunctive queries

TPVM: distributed concurrent computing with lightweight processes

Lightweight consistency enforcement schemes for distributed proofs with hidden subtrees