CN106407134B - 一种提高嵌入式系统固态硬盘存储可信性的方法及系统 - Google Patents

一种提高嵌入式系统固态硬盘存储可信性的方法及系统 Download PDF

Info

Publication number
CN106407134B
CN106407134B CN201610821031.2A CN201610821031A CN106407134B CN 106407134 B CN106407134 B CN 106407134B CN 201610821031 A CN201610821031 A CN 201610821031A CN 106407134 B CN106407134 B CN 106407134B
Authority
CN
China
Prior art keywords
plaintext
write request
unit
ssd
duplication
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CN201610821031.2A
Other languages
English (en)
Other versions
CN106407134A (zh
Inventor
吴剀劼
刘韦辰
石亮
李林芝
黄伟林
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Chongqing University
Original Assignee
Chongqing University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Chongqing University filed Critical Chongqing University
Priority to CN201610821031.2A priority Critical patent/CN106407134B/zh
Publication of CN106407134A publication Critical patent/CN106407134A/zh
Application granted granted Critical
Publication of CN106407134B publication Critical patent/CN106407134B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F12/00Accessing, addressing or allocating within memory systems or architectures
    • G06F12/14Protection against unauthorised use of memory or access to memory
    • G06F12/1408Protection against unauthorised use of memory or access to memory by using cryptography

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Storage Device Security (AREA)

Abstract

本发明公开了一种提高嵌入式系统固态硬盘存储可信性的方法及系统,方法为:获取主机发出的写请求,提取需要复制的写请求;将需要复制的写请求的明文分段;利用初始向量和双射函数F对写请求的明文A加密,得到写请求复制文件A’,将写请求的明文A和复制后的文件A’均发送给SSD;获取主机发出的读请求,提取其对应数据在写入时被复制、加密过的读请求;对复制后的文件A’利用初始向量和双射函数的逆函数F‑1解密,得到复原的文件A”并对读取出来的A和得到的A”进行比较,如果一致,则说明SSD可信,否则SSD不可信。本发明提高了应用SSD的嵌入式系统的可信性,通过选择性两倍或者三倍复制,降低了系统负担,提高了系统的效率。

Description

一种提高嵌入式系统固态硬盘存储可信性的方法及系统
技术领域
本发明涉及固态硬盘存储可信性技术领域,具体涉及一种提高嵌入式系统固态硬盘存储可信性的方法及系统。
背景技术
近年来,基于闪存的存储器(例如固态硬盘,SSD)逐渐取代了传统的基于磁的存储器(例如硬盘驱动器,HDD),由于其快的I/O性能、耐冲击性强、小的形式因素、重量轻等优点,固态硬盘被广泛应用到到各种移动设备,例如工作站和服务器中。然而,固态硬盘中使用的闪存技术使其数据组织与硬盘驱动器完全不同,为了保持兼容性,使主机系统访问闪存设备时和访问硬盘驱动器时一样,通常采用闪存转换层(FTL)将主机请求所使用的逻辑地址翻译成固态硬盘使用的物理地址。
但是闪存转换层是固态硬盘控制器的核心部分,对主机系统不可见。同时,闪存转换层是制造厂商的专利,并不对外公开。闪存转换层的这种不可见性对上层主机系统的可信性造成了严重的威胁。因为可能存在恶意实现闪存转换层功能的情况。恶意实现闪存转换层造成的安全威胁可能包括:数据丢失、数据篡改、使用寿命降低、性能降低和未经授权的数据拷贝。
虽然一种异构冗余架构被提出来解决这些威胁,但是由于嵌入式系统本身存在成本和空间等严格的限制,所以无法负担异构冗余架构这样的解决方案。
发明内容
本发明旨在至少解决现有技术中存在的技术问题,特别创新地提出了一种基于权威主体的终端设备的逆向认证方法及系统。
为了实现本发明的上述目的,根据本发明的第一个方面,本发明提供了一种提高嵌入式系统固态硬盘存储可信性的方法,其包括如下步骤:
S1,获取主机发出的写请求,提取需要复制的写请求;
S2,将需要复制的写请求的明文A分为m个单元A0、A1、……、Am-1,所述m为正整数;
S3,对于单元A0,利用初始向量IV和单元A0进行异或操作,将异或操作的结果利用双射函数F加密,得到复制后的单元A0’,对于单元Ap,将单元Ap-1’作为初始向量,利用初始向量和单元Ap进行异或操作,将异或操作的结果利用双射函数F加密,处理得到复制后的单元Ap’,所述p为1至(m-1)之间的正整数,得到写请求复制文件A’,将写请求的明文A和复制后的文件A’均发送给SSD;
S4,获取主机发出的读请求,提取其对应数据在写入时被复制、加密过的读请求;
S5,从SSD中获取写请求的明文A和复制后的文件A’;
S6,将复制后的文件A’中的m个单元A0’、A1’、……、Am-1’分别利用初始向量和双射函数的逆函数F-1解密,对于单元A0’,利用双射函数的逆函数F-1进行解密,用解密得到的数据和初始向量IV进行异或运算得到A0”;对于Ap’,利用双射函数的逆函数F-1进行解密,将Ap-1’作为初始向量,用解密得到的数据和初始向量进行异或运算得到Ap”,所述p为1至(m-1)之间的正整数,将写请求的明文A与复原的文件A”进行对比,如果一致,则说明SSD可信,否则SSD不可信。
本发明的提高嵌入式系统固态硬盘存储可信性的方法,提高了应用SSD的嵌入式系统的可信性,通过选择性两倍或者三倍复制,降低了系统负担,提高了系统的效率。
在本发明的一种优选实施方式中,对重要且重启会带来重大损失的写请求进行三倍复制;对重要但是能够从远程检查点服务器中恢复的写请求采用双倍复制。
通过有选择的两倍或者三倍复制,降低了嵌入式系统的负担。
在本发明的另一种优选实施方式中,当进行三倍复制时,两个复制版本采用不同的双射函数进行处理。保证了三倍复制时,两个复制版本的不同,提高了检测的准确性。
在本发明的另一种优选实施方式中,其特征在于,所述步骤S2中还包括明文填充加密步骤,具体为:
S41,填充明文:在明文尾部添加128-bit的正整型数字length,用于表明明文的实际长度,然后在明文和正整型数字length之间填充k-bit长的数据使得最终的明文长度为16比特的整数倍,填充数据以1开始,后面接(k-1)-bit的0;
S42,将填充后的明文以16bit为单位划分为多个单元,然后进行加密。
通过填充和加密,保证数据结构一致,保证后续算法的顺利进行。
为了实现本发明的上述目的,根据本发明的第一个方面,本发明提供了一种提高嵌入式系统固态硬盘存储可信性的系统,其包括多个嵌入式操作系统,所有嵌入式操作系统均与远程检查点服务器相连,每个嵌入式操作系统包括主机和SSD,所述主机利用本发明的方法验证SSD的可信性;嵌入式操作系统将主机发出的请求传输给远程检查点服务器,在远程检查点服务器内存储。
本发明提高了应用SSD的嵌入式系统的可信性,通过选择性两倍或者三倍复制,降低了系统负担,提高了系统的效率。
本发明的附加方面和优点将在下面的描述中部分给出,部分将从下面的描述中变得明显,或通过本发明的实践了解到。
附图说明
本发明的上述和/或附加的方面和优点从结合下面附图对实施例的描述中将变得明显和容易理解,其中:
图1是本发明提高嵌入式系统固态硬盘存储可信性的方法的流程图;
图2为利用双射函数F对明文进行复制的过程图;
图3为利用双射函数的逆函数F-1还原明文的过程图。
具体实施方式
下面详细描述本发明的实施例,所述实施例的示例在附图中示出,其中自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描述的实施例是示例性的,仅用于解释本发明,而不能理解为对本发明的限制。
在本发明的描述中,除非另有规定和限定,需要说明的是,术语“安装”、“相连”、“连接”应做广义理解,例如,可以是机械连接或电连接,也可以是两个元件内部的连通,可以是直接相连,也可以通过中间媒介间接相连,对于本领域的普通技术人员而言,可以根据具体情况理解上述术语的具体含义。
本发明提供了一种基于权威主体的终端设备的逆向认证方法,如图1所示,其包括如下步骤:
S1,获取主机发出的写请求,提取需要复制的写请求。在本实施方式中,对重要且重启会带来重大损失的写请求进行三倍复制;对重要但是能够从远程检查点服务器中恢复的写请求采用双倍复制。在本实施方式中,重要性的划分在此不做硬性规定,可以由上层应用来指定。
S2,将需要复制的写请求的明文A分为m个单元A0、A1、……、Am-1,m为正整数。在本实施方式中,步骤S2中还包括明文填充加密步骤,具体为:
填充明文:在明文尾部添加128-bit的正整型数字length,用于表明明文的实际长度,然后在明文和正整型数字length之间填充k-bit长的数据使得最终的明文长度为16比特的整数倍,填充数据以1开始,后面接(k-1)-bit的0;
将填充后的明文以16bit为单位划分为多个单元,然后进行加密。
S3,如图2所示,对于单元A0,利用初始向量IV和单元A0进行异或操作,将异或操作的结果利用双射函数F加密,得到复制后的单元A0’,对于单元Ap,将单元Ap-1’作为初始向量,利用初始向量和单元Ap进行异或操作,将异或操作的结果利用双射函数F加密,处理得到复制后的单元Ap’,所述p为1至(m-1)之间的正整数,得到写请求复制文件A’,将写请求的明文A和复制后的文件A’均发送给SSD。
S4,获取主机发出的读请求,提取其对应数据在写入时被复制、加密过的读请求。
S5,从SSD中获取写请求的明文A和复制后的文件A’。
S6,如图3所示,将复制后的文件A’中的m个单元A0’、A1’、……、Am-1’分别利用初始向量和双射函数的逆函数F-1解密,对于单元A0’,利用双射函数的逆函数F-1进行解密,用解密得到的数据和初始向量IV进行异或运算得到A0”;对于Ap’,利用双射函数的逆函数F-1进行解密,将Ap-1’作为初始向量,用解密得到的数据和初始向量进行异或运算得到Ap”,所述p为1至(m-1)之间的正整数,将写请求的明文A与复原的文件A”进行对比,如果一致,则说明SSD可信,否则SSD不可信。
在本实施方式中,当进行三倍复制时,两个复制版本采用不同的双射函数进行处理。保证了三倍复制时,两个复制版本的不同,提高了检测的准确性。
在本发明的一个优选实施方式中,双射函数采用一对数组A{0,1…n},A’{0,1…n},其中,n的大小为2^16-1,即65535。数组中的元素A[i]=x(i>=0且i<n),x是[0,n]之间随机生成的一个整数,并且A[0],A[1]…A[n-1]各不相同。则A’[x]=i。
填充明文:在明文尾部添加128-bit的正整型数字length,以表明明文的实际长度(以bit为单位),然后在明文和length之间填充k-bit长的数据使得最终的明文长度为16比特的整数倍,填充数据以1开始,后面接(k-1)-bit的0。将明文以16bit即2byte为单位划分为多个单元,然后加密,例如以CBC加密模式进行加密。
在本实施方式中,以三倍复制为例说明,两倍复制只采用一对双射函数即可。三倍复制时,两对双射函数(B,B’),(C,C’),如下所示。将双射函数简化为长度为16的数组,则16-bit的数据单元简化为4-bit。
B={3,0,8,6,1,5,11,12,10,14,15,13,4,9,2,7}
B’={1,4,14,0,12,5,3,0,2,13,8,6,7,11,9,10}
C={15,2,14,3,10,11,1,13,8,12,9,0,4,5,7,6}
C’={11,6,1,3,12,13,0,14,8,10,4,5,9,7,2,0}
如果明文M为:001001010111,以4-bit为单位划分后用十进制表示为2,5,7。
复制2份明文M1=001001010111,M2=001001010111。
如图2所示,初始向量IV1取为:0101,十进制为5。IV2为:1110,十进制为14。
加密M1过程:
明文填充后为:001001010111 1000 1100,以4-bit为单位划分后用十进制表示为2,5,7,8,12。
加密2:2与IV1异或后为0111,十进制为7,7通过B变换为B[7]=12;IV1=12。
加密5:5与IV1异或后为1001,十进制为9,9通过B变换为B[9]=14;IV1=14。
加密7:7与IV1异或后为1001,十进制为9,9通过B变换为B[9]=14;IV1=14。
加密8:8与IV1异或后为0110,十进制为6,6通过B变换为B[6]=11;IV1=11。
加密12:12与IV1异或后为0111,十进制为7,7通过B变换为B[7]=12;IV1=12。
即加密后的密文为12,14,14,11,12。二进制表示为11001110111010111100。
加密M2过程:
明文填充后为:001001010111 1000 1100,以4-bit为单位划分后用十进制表示为2,5,7,8,12。
加密2:2与IV2异或后为1100,十进制为12,12通过C变换为C[12]=4;IV2=4。
加密5:5与IV2异或后为0001,十进制为1,1通过C变换为C[1]=2;IV2=2。
加密7:7与IV2异或后为0101,十进制为5,5通过C变换为C[5]=11;IV2=11。
加密8:8与IV2异或后为0011,十进制为3,3通过C变换为C[3]=3;IV2=3。
加密12:12与IV2异或后为1111,十进制为15,15通过C变换为C[15]=6;IV2=6。
即加密后的密文为4,2,11,3,6。二进制表示为01000010101100110110。
以解密M1加密后的密文为12,14,14,11,12为例进行说明。二进制表示为11001110 1110 1011 1100。
解密12:12通过B’变换为B’[12]=7,7与IV1异或后为0010,二进制为2。
解密第一个14:14通过B’变换为B’[14]=9,9与IV1’(12)异或后为0101,二进制为5。
解密第二个14:14通过B’变换为B’[14]=9,9与IV1’(14)异或后为0111,二进制为7。
解密11:11通过B’变换为B’[11]=6,6与IV1’(14)异或后为1000,二进制为8。
解密12:12通过B’变换为B’[12]=7,7与IV1’(11)异或后为1100,二进制为12。由此得到十进制数为2,5,7,8,12。进行解密,取出从左开始的12bit的数据,即得到明文为2,5,7,二进制数为001001010111。
在本实施方式中(只以解密001001010111为例),如果得到的数据为001001010111,则说明SSD可信,否则,SSD不可信。
本发明的提高嵌入式系统固态硬盘存储可信性的方法,提高了应用SSD的嵌入式系统的可信性,通过选择性两倍或者三倍复制,降低了系统负担,提高了系统的效率。
为了实现本发明的上述目的,根据本发明的第一个方面,本发明提供了一种提高嵌入式系统固态硬盘存储可信性的系统,其包括多个嵌入式操作系统,所有嵌入式操作系统均与远程检查点服务器相连,每个嵌入式操作系统包括主机和SSD,所述主机利用本发明的方法验证SSD的可信性;嵌入式操作系统将主机发出的请求传输给远程检查点服务器,在远程检查点服务器内存储。
本发明提高了应用SSD的嵌入式系统的可信性,通过选择性两倍或者三倍复制,降低了系统负担,提高了系统的效率。
在本说明书的描述中,参考术语“一个实施例”、“一些实施例”、“示例”、“具体示例”、或“一些示例”等的描述意指结合该实施例或示例描述的具体特征、结构、材料或者特点包含于本发明的至少一个实施例或示例中。在本说明书中,对上述术语的示意性表述不一定指的是相同的实施例或示例。而且,描述的具体特征、结构、材料或者特点可以在任何的一个或多个实施例或示例中以合适的方式结合。
尽管已经示出和描述了本发明的实施例,本领域的普通技术人员可以理解:在不脱离本发明的原理和宗旨的情况下可以对这些实施例进行多种变化、修改、替换和变型,本发明的范围由权利要求及其等同物限定。

Claims (4)

1.一种提高嵌入式系统固态硬盘存储可信性的方法,其特征在于,包括如下步骤:
S1,获取主机发出的写请求,提取需要复制的写请求,对重要且重启会带来重大损失的写请求进行三倍复制;对重要但是能够从远程检查点服务器中恢复的写请求采用双倍复制;
S2,将需要复制的写请求的明文A分为m个单元A0、A1、……、Am-1,所述m为正整数;
S3,对于单元A0,利用初始向量IV和单元A0进行异或操作,将异或操作的结果利用双射函数F加密,得到复制后的单元A0’,对于单元Ap,将单元AP-1’作为初始向量,利用初始向量和单元Ap进行异或操作,将异或操作的结果利用双射函数F加密,处理得到复制后的单元Ap’,所述p为1至(m-1)之间的正整数,得到写请求复制文件A’,将写请求的明文A和复制后的文件A’均发送给SSD;
S4,获取主机发出的读请求,提取其对应数据在写入时被复制、加密过的读请求;
S5,从SSD中获取写请求的明文A和复制后的文件A’;
S6,将复制后的文件A’中的m个单元A0’、A1’、……、Am-1’分别利用初始向量和双射函数的逆函数F-1解密,对于单元A0’利用双射函数的逆函数F-1进行解密,用解密得到的数据和初始向量IV进行异或运算得到A0”;对于Ap’,利用双射函数的逆函数F-1进行解密,将Ap-1’作为初始向量,用解密得到的数据和初始向量进行异或运算得到Ap”,所述p为1至(m-1)之间的正整数,将写请求的明文A与复原的文件A”进行对比,如果一致,则说明SSD可信,否则SSD不可信。
2.根据权利要求1所述的提高嵌入式系统固态硬盘存储可信性的方法,其特征在于,当进行三倍复制时,两个复制版本采用不同的双射函数进行处理。
3.根据权利要求1所述的提高嵌入式系统固态硬盘存储可信性的方法,其特征在于,所述步骤S2中还包括明文填充加密步骤,具体为:
S41,填充明文:在明文尾部添加128-bit的正整型数字length,用于表明明文的实际长度,然后在明文和正整型数字length之间填充k-bit长的数据使得最终的明文长度为16比特的整数倍,填充数据以1开始,后面接(k-1)-bit的0;
S42,将填充后的明文以16bit为单位划分为多个单元,然后进行加密。
4.利用权利要求1所述提高嵌入式系统固态硬盘存储可信性的方法的系统,其特征在于,包括多个嵌入式操作系统,所有嵌入式操作系统均与远程检查点服务器相连,
每个嵌入式操作系统包括主机和SSD,所述主机利用权利要求1所述的方法验证SSD的可信性;
嵌入式操作系统将主机发出的请求传输给远程检查点服务器,在远程检查点服务器内存储。
CN201610821031.2A 2016-09-13 2016-09-13 一种提高嵌入式系统固态硬盘存储可信性的方法及系统 Expired - Fee Related CN106407134B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201610821031.2A CN106407134B (zh) 2016-09-13 2016-09-13 一种提高嵌入式系统固态硬盘存储可信性的方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201610821031.2A CN106407134B (zh) 2016-09-13 2016-09-13 一种提高嵌入式系统固态硬盘存储可信性的方法及系统

Publications (2)

Publication Number Publication Date
CN106407134A CN106407134A (zh) 2017-02-15
CN106407134B true CN106407134B (zh) 2019-03-29

Family

ID=58000085

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201610821031.2A Expired - Fee Related CN106407134B (zh) 2016-09-13 2016-09-13 一种提高嵌入式系统固态硬盘存储可信性的方法及系统

Country Status (1)

Country Link
CN (1) CN106407134B (zh)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101400060A (zh) * 2007-06-15 2009-04-01 捷讯研究有限公司 用于提供安全数据备份的方法和设备
US7899662B2 (en) * 2005-10-12 2011-03-01 Storage Appliance Corporation Data backup system including a data protection component
CN102355351A (zh) * 2011-07-21 2012-02-15 华为技术有限公司 一种基于可信计算的密钥生成、备份和迁移方法及系统
CN103455446A (zh) * 2012-06-04 2013-12-18 罗伯特·博世有限公司 用于实施加密方法的设备及对此的运行方法
US8738974B2 (en) * 2009-08-28 2014-05-27 Panasonic Corporation Nonvolatile memory device and memory controller

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7899662B2 (en) * 2005-10-12 2011-03-01 Storage Appliance Corporation Data backup system including a data protection component
CN101400060A (zh) * 2007-06-15 2009-04-01 捷讯研究有限公司 用于提供安全数据备份的方法和设备
US8738974B2 (en) * 2009-08-28 2014-05-27 Panasonic Corporation Nonvolatile memory device and memory controller
CN102355351A (zh) * 2011-07-21 2012-02-15 华为技术有限公司 一种基于可信计算的密钥生成、备份和迁移方法及系统
CN103455446A (zh) * 2012-06-04 2013-12-18 罗伯特·博世有限公司 用于实施加密方法的设备及对此的运行方法

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
Efficient Hybrid Inline and Out-of-Line Deduplication for Backup Storage;Li等;《Acm Transactions on Storage》;20141231;第1-21页
Research on Storage Security Based on Trusted Computing Platform;He等;《International Symposium on Electronic Commerce and Security. IEEE》;20081231;第448-452页
基于可有效计算双射的通用加密存储方案;王泽辉等;《全国信息存储技术学术会议》;20061231;第327-331页

Also Published As

Publication number Publication date
CN106407134A (zh) 2017-02-15

Similar Documents

Publication Publication Date Title
US11233643B1 (en) Distributed data storage system data decoding and decryption
US11200347B1 (en) Secure controller systems and associated methods thereof
US8744071B2 (en) Dispersed data storage system data encryption and encoding
CN106470102B (zh) 密码装置、具有密码装置的存储装置、其加密和解密方法
CN113383321B (zh) 重放保护临时随机数生成
US10044703B2 (en) User device performing password based authentication and password registration and authentication methods thereof
US9419796B2 (en) Method for storing and recovering data, utilization of the method in a storage cloud, storage server and computer program product
US20110314301A1 (en) Systems and methods for hardware key encryption
US8275128B2 (en) Arithmetic logical unit, computation method and computer system
WO2019156887A1 (en) Key encryption handling
US11783044B2 (en) Endpoint authentication based on boot-time binding of multiple components
US11349643B2 (en) Techniques for using local key management in a data storage system
CN117331746A (zh) 用于独立磁盘冗余阵列的设备
CN112100696A (zh) 存储器装置及其安全读取方法
CN106407134B (zh) 一种提高嵌入式系统固态硬盘存储可信性的方法及系统
US9734154B2 (en) Method and apparatus for storing a data file
CN113853588A (zh) 用于非易失性存储器的总线加密
CN107861892B (zh) 一种实现数据处理的方法及终端
US11863664B2 (en) Method of performing key exchange for security operation in storage device and method of performing authority transfer in storage device using the same
US20230035988A1 (en) Storage device, storage system operating method, and computing system
US20240143197A1 (en) Memory buffer devices with modal encryption
US20240007265A1 (en) Data authenticity and integrity check for data security schemes
EP4131844B1 (en) Storage device, host device and data transfer method thereof
US20240005010A1 (en) Non-cached data transfer
EP3422242B1 (en) Performing authenticated writes across aggregate storage volumes

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20190329

Termination date: 20190913