NDLI: Build a trusted storage system on a mobile phone

Content Provider	IET Digital Library
Author	Zhang, Qiang Qiao, Jian Zhong Meng, Qing Yang
Abstract	The authors introduce their design, implementation and formally verification of a Trusted Execution Environment (TEE)-based trusted storage system (TSS) in mobile devices, which conforms to GlobalPlatform specifications. The authors’ TSS provides not only authenticating the integrity and freshness of data but also many security storage operation properties like atomicity operations of a persistent object. To improve data store efficient when a big persistent object is read or written, a new mechanism that dynamic allocate continuous memory in REE's kernel memory space and map the address to the TEE through a communication pipe is proposed. This method can reduce switching times, allocating memory times and copy memory overloads between two worlds. A formal method is used in their design and development to guarantee the correctness and security of TSS. They consider the functional correctness mainly in this study, and use traditional formal verification tool – VCC verify the functional correctness of TSS. Their evaluation demonstrates its advantage compared to existing systems in addition.
Starting Page	157
Ending Page	166
Page Count	10
ISSN	17518709
Volume Number	13
e-ISSN	17518717
Issue Number	Issue 2, Mar (2019)
Alternate Webpage(s)	https://digital-library.theiet.org/content/journals/iet-ifs/13/2
Alternate Webpage(s)	https://digital-library.theiet.org/content/journals/10.1049/iet-ifs.2018.5031
Journal	IET Information Security
Publisher Date	2018-08-10
Access Restriction	Open
Rights Holder	© The Institution of Engineering and Technology
Subject Keyword	Atomicity Operations Computer Communication Computer Network And Technique Data Integrity Data Security Formal Method Formal Verification Functional Correctness GlobalPlatform Specifications Memory OverLoad Memory Times Allocation Mobile Computing Mobile Device Mobile Handsets Mobile Phone Mobile Radio System Pervasive Computing REE's Kernel Memory Space Security of Data Security Storage Operation Property Storage Allocation TEE Traditional Formal Verification Tool Trusted Execution Environment-based Trusted Storage System TSS Ubiquitous
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Information Systems Software

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

Authentic mobile-biometric signature verification system

Mobiles make maps

Trusted mobile computing: An overview of existing solutions

Special Issue on Trust and Identity Management in Mobile and Internet Computing and Communications

The Untapped Potential of Trusted Execution Environments on Mobile Devices

Building Trusted Execution Environments

Design and implementation of mobile trusted module for trusted mobile computing

Ubiquitous Computing: Are We There Yet?

Mobile Biometrics: Combined Face and Voice Verification for a Mobile Platform

Build a trusted storage system on a mobile phone

Similar Documents

Authentic mobile-biometric signature verification system

Mobiles make maps

Trusted mobile computing: An overview of existing solutions

Special Issue on Trust and Identity Management in Mobile and Internet Computing and Communications

The Untapped Potential of Trusted Execution Environments on Mobile Devices

Building Trusted Execution Environments

Design and implementation of mobile trusted module for trusted mobile computing

Ubiquitous Computing: Are We There Yet?

Mobile Biometrics: Combined Face and Voice Verification for a Mobile Platform

Build a trusted storage system on a mobile phone