NDLI: A formal model for integrity protection based on DTE technique

Content Provider	Springer Nature Link
Author	Ji, Qingguang Qing, Sihan He, Yeping
Copyright Year	2006
Abstract	In order to provide integrity protection for the secure operating system to satisfy the structured protection class’ requirements, a DTE technique based integrity protection formalization model is proposed after the implications and structures of the integrity policy have been analyzed in detail. This model consists of some basic rules for configuring DTE and a state transition model, which are used to instruct how the domains and types are set, and how security invariants obtained from initial configuration are maintained in the process of system transition respectively. In this model, ten invariants are introduced, especially, some new invariants dealing with information flow are proposed, and their relations with corresponding invariants described in literatures are also discussed. The thirteen transition rules with well-formed atomicity are presented in a well-operational manner. The basic security theorems correspond to these invariants and transition rules are proved. The rationalities for proposing the invariants are further annotated via analyzing the differences between this model and ones described in literatures. At last but not least, future works are prospected, especially, it is pointed out that it is possible to use this model to analyze SE-Linux security.
Starting Page	545
Ending Page	565
Page Count	21
File Format	PDF
ISSN	10092757
Journal	Science in China Series : Information Sciences
Volume Number	49
Issue Number	5
e-ISSN	18622836
Language	English
Publisher	Science in China Press
Publisher Date	2006-01-01
Publisher Place	Beijing
Access Restriction	Subscribed
Subject Keyword	formal model integrity policy information flow domain type Information Systems and Communication Service
Content Type	Text
Resource Type	Article
Subject	Computer Science

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

A new formal model for privilege control with supporting POSIX capability mechanism

Formal verification technique for grid service chain model and its application

A formal model for access control with supporting spatial context

Protection of Program Integrity Based on Trusted Computing

Research on Quantitative Evaluation for Integrity

Trusted mobile model based on DTE technology

Algebra model and security analysis for cryptographic protocols

Network Functions Virtualization Access Control as a Service

Research on Dynamic Determination Scheme for Subject's Integrity Level of OpenID

A formal model for integrity protection based on DTE technique

Similar Documents

A new formal model for privilege control with supporting POSIX capability mechanism

Formal verification technique for grid service chain model and its application

A formal model for access control with supporting spatial context

Protection of Program Integrity Based on Trusted Computing

Research on Quantitative Evaluation for Integrity

Trusted mobile model based on DTE technology

Algebra model and security analysis for cryptographic protocols

Network Functions Virtualization Access Control as a Service

Research on Dynamic Determination Scheme for Subject's Integrity Level of OpenID

A formal model for integrity protection based on DTE technique