CN113761532A - 一种基于lut行为分析的硬件木马检测方法 - Google Patents
一种基于lut行为分析的硬件木马检测方法 Download PDFInfo
- Publication number
- CN113761532A CN113761532A CN202110969151.8A CN202110969151A CN113761532A CN 113761532 A CN113761532 A CN 113761532A CN 202110969151 A CN202110969151 A CN 202110969151A CN 113761532 A CN113761532 A CN 113761532A
- Authority
- CN
- China
- Prior art keywords
- lut
- list
- design
- signal
- integrated circuit
- 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.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/55—Detecting local intrusion or implementing counter-measures
- G06F21/56—Computer malware detection or handling, e.g. anti-virus arrangements
- G06F21/566—Dynamic detection, i.e. detection performed at run-time, e.g. emulation, suspicious activities
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/55—Detecting local intrusion or implementing counter-measures
- G06F21/556—Detecting local intrusion or implementing counter-measures involving covert channels, i.e. data leakage between processes
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
- G06F21/71—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information
- G06F21/76—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information in application-specific integrated circuits [ASIC] or field-programmable devices, e.g. field-programmable gate arrays [FPGA] or programmable logic devices [PLD]
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Computer Security & Cryptography (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Virology (AREA)
- Health & Medical Sciences (AREA)
- General Health & Medical Sciences (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Mathematical Physics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本发明公开了一种基于LUT行为分析的硬件木马检测方法,首先以寄存器传输级代码或门级网表的形式输入被检测集成电路设计代码,然后基于综合工具把集成电路设计综合成基于FPGA实现的网表;接下来在不同仿真时间下,对生成的FPGA网表进行随机输入功能仿真,并保存不同仿真时间下的信号行为列表;接着分析信号行为列表得到不同仿真时间下的低翻转率信号列表;最后基于信号行为列表及FPGA网表,进行LUT地址线覆盖率分析,得到低覆盖率LUT列表;当低翻转率信号列表和低覆盖率LUT列表收敛至固定集合后,确定被检测集成电路设计中的硬件木马触发信号和触发逻辑。本发明方法可在集成电路设计早期解决潜在的安全隐患,在检测无关项木马方面具有独特优势。
Description
技术领域
本发明属于集成电路技术领域,具体涉及一种硬件木马检测方法。
背景技术
随着集成电路设计规模的增大,片上系统(SoC,System-on-Chip)设计中通常会大量使用由不可信第三方提供的知识产权(IP,Intellectual Property)核,以提高产品研发速度,降低设计成本。这些IP核中可能隐含设计规范之外未公开的恶意设计修改和后门。集成电路设计中由不可信第三方引入的恶意设计修改,称为硬件木马。硬件木马通常只有在特定的条件下才会激活,基于集成电路功能测试方法难以实现硬件木马检测。攻击者可通过特定输入向量、侧信道攻击、故障注入攻击等方式激活木马,木马一旦被激活可造成敏感信息泄露、性能下降甚至系统失效,对集成电路硬件安全造成极大的威胁。尤其是对于军事、医疗、工业基础设施等领域,一旦使用了包含硬件木马的芯片设计,木马被激活后将会造成严重的经济损失甚至人员伤亡。
针对硬件木马带来的集成电路硬件安全问题,研究者提出基于翻转概率分析的硬件木马检测方法,利用硬件木马在很小的概率下才会被激活这个特性,可实现使用计数器或特定输入向量作为木马激活条件的硬件木马检测。为了提高硬件木马的隐蔽性,防止硬件木马在设计阶段被检测到,研究者提出基于无关项的硬件木马设计方法,利用集成电路设计空间中的外部或内部无关项进行木马设计。基于外部无关项插入木马的电路设计形成原始设计空间的超集,包含外部无关项的集成电路完全符合设计规范,因此,基于设计规范验证的检测方法难以实现硬件木马检测。而基于集成电路内部无关项的硬件木马设计方法,木马隐藏于电路正常工作条件下无法满足的可满足性无关项之中,插入木马之后的电路设计与原始设计完全功能等价,并且所有信号的翻转行为和翻转概率都完全正常。现有检测方法难以实现利用集成电路设计空间外部或内部无关项的硬件木马检测。
发明内容
为了克服现有技术的不足,本发明提供了一种基于查找表(Look-Up-Table,LUT)行为分析的硬件木马检测方法,首先以寄存器传输级代码或门级网表的形式输入被检测集成电路设计代码,然后基于综合工具把集成电路设计综合成基于现场可编程逻辑阵列(Field Programmable Gate Array,FPGA)实现的网表;接下来在不同仿真时间下,对生成的FPGA网表进行随机输入功能仿真,并保存不同仿真时间下的信号行为列表;接着分析信号行为列表得到不同仿真时间下的低翻转率信号列表;最后基于信号行为列表及FPGA网表,进行LUT地址线覆盖率分析,得到低覆盖率LUT列表;当低翻转率信号列表和低覆盖率LUT列表收敛至固定集合后,确定被检测集成电路设计中的硬件木马触发信号和触发逻辑。本发明方法可在集成电路设计早期解决潜在的安全隐患,在检测无关项木马方面具有独特优势。
本发明解决其技术问题所采用的技术方案包括如下步骤:
步骤1:输入被检测集成电路设计代码;
步骤2:把被检测集成电路设计代码综合成FPGA网表;
步骤3:基于生成的FPGA网表进行随机输入功能仿真,逐步增加仿真时间,保存不同仿真时间下的信号行为列表;
步骤4:分析信号行为列表,得到不同仿真时间下的低翻转率信号列表,即在仿真时间内逻辑状态没有改变的信号;
步骤5:基于信号行为列表及FPGA网表,进行LUT地址线覆盖率分析,得到不同仿真时间下的低覆盖率LUT列表,即在仿真时间内输入地址线没有覆盖全部地址线组合的LUT;
步骤6:仿真时间逐渐增大,低翻转率信号列表和低覆盖率LUT列表随着仿真时间的增加而逐步收敛至稳定集合,此时,低翻转率信号为使用条件触发的硬件木马设计触发信号,低覆盖率LUT列表中未覆盖的输入地址线为基于可满足性无关项硬件木马设计触发信号。
进一步地,所述步骤1中被检测集成电路设计以寄存器传输级代码或门级网表的形式输入。
进一步地,所述步骤2中使用FPGA综合工具进行集成电路设计逻辑综合,生成FPGA网表。
进一步地,所述FPGA综合工具为Yosys。
进一步地,所述步骤3中进行功能仿真时,采用的仿真工具为ModelSim或QuestaSim。
本发明的有益效果如下:
1、本发明提出的硬件木马检测方法针对FPGA综合流程,以LUT为分析对象进行木马检测,现有木马检测方法则大多以逻辑表达式和逻辑门为分析对象。
2、本发明方法可实现仅在特定条件下激活的高隐蔽性硬件木马的检测,同时可实现基于集成电路设计内部可满足性无关项的硬件木马检测,尤其是在检测无关项木马方面具有独特优势。
3、本发明提出的硬件木马检测方法,基于FPGA综合工具进行逻辑综合,同时使用标准EDA工具进行功能仿真,即可实现硬件木马检测,不需要集成电路设计人员学习新的语言及工具,能够更加有效的集成到标准集成电路设计流程之中。
4、现有基于侧信道分析的硬件木马检测方法通常依赖于实际上不存在的黄金芯片,本发明提出的硬件木马检测方法,不需要黄金芯片做对比,摆脱了对黄金芯片的依赖。
5、本发明提出的硬件木马检测方法,对寄存器传输级或网表级电路设计进行木马检测,可在集成电路设计早期解决潜在的安全隐患。
附图说明
图1是本发明提出的基于LUT行为分析的硬件木马检测方法流程图。
图2是本发明实施例一个嵌入硬件木马的集成电路设计示意图。
图3是本发明实施例集成电路设计内部可满足性无关项示意图。
图4是本发明实施例基于可满足性无关项的木马设计示意图。
图5是本发明实施例插入可满足性无关项木马的AES密码核示意图。
图6是本发明实施例集成电路设计综合生成的FPGA网表示意图。
具体实施方式
下面结合附图和实施例对本发明进一步说明。
本发明的技术目的在于提出一种基于LUT行为分析的硬件木马检测方法,在设计阶段实现基于条件触发和基于集成电路内部无关项的硬件木马检测,提高硬件木马检测率,在集成电路设计早期解决潜在的木马安全隐患。
如图1所示,一种基于LUT行为分析的硬件木马检测方法,包括如下步骤:
步骤1:输入被检测集成电路设计代码,以寄存器传输级代码或门级网表的形式输入;
步骤2:把被检测集成电路设计代码综合成FPGA网表,可使用FPGA综合工具如Yosys进行逻辑综合,基于不同FPGA器件,网表基本单元可包括2输入至6输入LUT,选择器、寄存器、进位链加法器等FPGA基本单元;
步骤3:基于生成的FPGA网表进行随机输入功能仿真,逐步增加仿真时间,保存不同仿真时间下的信号行为列表,可使用ModelSim或QuestaSim等集成电路设计仿真工具进行仿真;
步骤4:分析信号行为列表,得到不同仿真时间下的低翻转率信号列表,即在仿真时间内逻辑状态没有改变的信号;
步骤5:基于信号行为列表及FPGA网表,进行LUT地址线覆盖率分析,得到不同仿真时间下的低覆盖率LUT列表,即在仿真时间内输入地址线没有覆盖全部地址线组合的LUT;
步骤6:仿真时间逐渐增大,低翻转率信号列表和低覆盖率LUT列表随着仿真时间的增加而逐步收敛至稳定集合,此时,低翻转率信号为使用条件触发的硬件木马设计触发信号,低覆盖率LUT列表中未覆盖的输入地址线为基于可满足性无关项硬件木马设计的触发信号。
具体实施例:
如图2所示的集成电路设计,该电路包括5个子模块,其中子模块5中包括不可信第三方电路设计者嵌入的硬件木马,具体包括木马触发逻辑和负载逻辑,其中木马触发逻辑在特定的条件下产生木马触发信号,可激活硬件木马。木马被激活之后负载逻辑可实现敏感信息泄露、增加系统功耗、降低系统性能等功能。为了提高硬件木马的隐蔽性,防止在设计阶段或者芯片使用阶段被检测到,硬件木马一般在很小的概率下才会被激活,具体在硬件木马设计时,木马触发逻辑可使用计数器或特定输入向量作为木马激活条件。在本实施例中,被检测的集成电路设计以寄存器传输级代码的形式输入,具体可基于Verilog或VHDL实现。
由于使用计数器或特定输入向量作为激活条件的硬件木马设计,在很小的概率下激活木马,很容易被基于翻转概率分析的方法检测到。为了抵御基于翻转概率分析的硬件木马检测方法,有研究者提出基于集成电路设计空间内部可满足性无关项的硬件木马设计方法,利用集成电路内部扇出重汇聚引入的可满足性无关项,作为木马的触发信号。如图3所示,集成电路设计内部信号(n2,n3)组成可满足性无关项,逻辑状态(1,1)是(n2,n3)在正常工作条件下无法满足的状态。
基于可满足性无关项的硬件木马设计如图4所示,可满足性无关项(n2,n3)作为木马的触发信号,由于在正常工作条件下n2=n3=1的逻辑状态无法满足,输出信号为O_tj=O,即插入木马之后的设计和原始设计完全功能等价。当攻击者通过故障注入攻击使可满足性无关项条件满足时,n2=n3=1,木马被激活,此时输入信号为O_tj=f,其中f为集成电路内部敏感信息。由于木马设计隐藏于电路正常工作条件下无法满足的可满足性无关项之中,插入木马之后的电路设计与原始设计完全功能等价,因此现有硬件木马检测方法难以实现基于可满足性无关项的硬件木马检测。
插入可满足性无关项硬件木马的AES密码核示意图如图5所示,可满足性硬件木马插入到128位AES密码核中,来自S盒的可满足性无关项信号作为木马的触发信号,在正常工作条件下,两个分离的可满足性无关项信号不能同时为逻辑1,攻击者可通过故障注入攻击激活木马,此时两个可满足性无关项信号同时为逻辑1,密钥被选择输出到输出信号cipher,攻击者通过分析cipher可获取AES密码核128位密钥。
基于本发明提出的硬件木马检测方法,被检测集成电路设计首先进行综合生成基于FPGA实现的网表,在具体实施例中可使用开源综合工具Yosys进行逻辑综合,综合之后下载生成的FPGA网表。基于不同的FPGA器件,如Xilinx或Intel的FPGA器件,综合之后的网表基本单元可包括2输入至6输入LUT、选择器、寄存器和进位链等FPGA基本单元。
基于FPGA实现的网表示意图如图6所示。对于基于集成电路设计空间内部可满足性无关项的硬件木马设计,综合之后分离的木马触发信号将成为同一个LUT的输入信号,由于在正常工作条件下,可满足性无关项无法被满足,对应到LUT中必然存在输入地址线不能被覆盖的情况,即LUT的输入地址线不能覆盖所有的输入信号组合,因此,可通过检测具有低覆盖率的LUT列表实现基于可满足性无关项的硬件木马检测。
接下来,在不同的仿真时间下,基于生成的FPGA网表进行随机输入功能仿真,在具体实施例中,可通过线性移位寄存器产生集成电路设计顶层模块输入测试向量,使用ModelSim等集成电路设计仿真工具进行功能仿真,在仿真过程中逐渐增加仿真时间,并保存各仿真时间下的信号行为列表。
进一步,对信号行为列表进行分析,得到不同仿真时间下的低翻转率信号列表,低翻转率信号指在仿真时间内逻辑状态没有改变的信号。同时,基于信号行为列表及FPGA网表,进行LUT地址线覆盖率分析,得到不同仿真时间下的低覆盖率LUT列表,低覆盖率LUT指在仿真时间内输入地址线没有覆盖全部输入信号组合的LUT。
随着仿真时间的增加,有更多的输入测试向量作为输入,低翻转率信号列表所包含的信号数量,低覆盖率LUT列表所包含的LUT数量将逐渐减少,在最长仿真时间下低翻转率信号列表和低覆盖率LUT列表趋于稳定而收敛。
最后,综合分析最长仿真时间下低翻转率信号列表和低覆盖率LUT列表,可得到硬件木马触发信号及木马触发信号的生成逻辑。其中,对于使用计数器或特定输入向量作为木马激活条件的硬件木马,低翻转率信号即为木马触发信号。对于基于集成电路设计空间内部可满足性无关项的硬件木马设计,低覆盖率LUT中没有覆盖到的地址线即为基于可满足性无关项的木马触发信号。
128位AES密码核中可满足性无关项木马检测结果如表1所示,基于Xilinx FPGA的检测结果表明随着仿真时间增加,低翻转率信号与低覆盖率LUT数量逐渐减小,当仿真时间为400个时钟周期时,低翻转率信号数量降为0,低覆盖率LUT信号数量降为128,即所有信号都可以正常翻转,有128个LUT存在输入地址线覆盖率问题,由于可满足性无关项信号在正常工作条件下都可以正常翻转,而两个可满足性无关项信号不能同时为逻辑1,可通过128个LUT中相同的未被覆盖的地址线,确定可满足性无关项木马触发信号。基于Intel FPGA的检测结果表明,当仿真时间为500个时钟周期时,低翻转率信号数量降为0,低覆盖率LUT信号数量降为128,与基于Xilinx FPGA的检测结果一致。以上检测结果表明,本发明提出的基于LUT行为分析的检测方法能够实现可满足性无关项硬件木马检测。
表1基于本发明检测方法的AES密码核可满足性无关项木马检测结果
基于集成电路内部无关项的硬件木马设计,木马隐藏于电路正常工作条件下无法满足的可满足性无关项之中,在正常工作条件下,所有信号翻转正常,因此,现有基于翻转概率分析的硬件木马检测手段难以实现可满足性无关项硬件木马检测。
由于芯片设计在流片之后其功能不可更改,本发明选取寄存器传输级或网表级集成电路设计进行硬件木马检测,可以在集成电路设计阶段解决潜在的安全隐患。本发明将集成电路设计综合成FPGA网表的形式进行木马检测,其有益效果在于,综合之后的网表中仅包含LUT、选择器、寄存器、进位链等FPGA基本元器件,相对于基于Verilog或VHDL寄存器传输级集成电路设计描述形式,具有更加统一的描述形式。同时,对于使用计数器或特定输入向量作为木马激活条件的硬件木马设计,通过分析收敛后的低翻转率信号列表,即可得到其木马触发信号;对于基于可满足性无关项的硬件木马设计,其分离的木马触发信号在综合之后会映射到同一个LUT单元的输入地址线,通过分析收敛后的低覆盖率LUT列表即可得到其木马触发信号。因此,本发明通过把集成电路设计综合成基于FPGA实现的网表,并基于标准EDA工具进行功能仿真,可实现基于特定条件触发和基于集成电路内部可满足性无关项的硬件木马检测。
Claims (5)
1.一种基于LUT行为分析的硬件木马检测方法,其特征在于,包括以下步骤:
步骤1:输入被检测集成电路设计代码;
步骤2:把被检测集成电路设计代码综合成FPGA网表;
步骤3:基于生成的FPGA网表进行随机输入功能仿真,逐步增加仿真时间,保存不同仿真时间下的信号行为列表;
步骤4:分析信号行为列表,得到不同仿真时间下的低翻转率信号列表,即在仿真时间内逻辑状态没有改变的信号;
步骤5:基于信号行为列表及FPGA网表,进行LUT地址线覆盖率分析,得到不同仿真时间下的低覆盖率LUT列表,即在仿真时间内输入地址线没有覆盖全部地址线组合的LUT;
步骤6:仿真时间逐渐增大,低翻转率信号列表和低覆盖率LUT列表随着仿真时间的增加而逐步收敛至稳定集合,此时,低翻转率信号为使用条件触发的硬件木马设计触发信号,低覆盖率LUT列表中未覆盖的输入地址线为基于可满足性无关项硬件木马设计触发信号。
2.根据权利要求1所述的一种基于LUT行为分析的硬件木马检测方法,其特征在于,所述步骤1中被检测集成电路设计以寄存器传输级代码或门级网表的形式输入。
3.根据权利要求1所述的一种基于LUT行为分析的硬件木马检测方法,其特征在于,所述步骤2中使用FPGA综合工具进行集成电路设计逻辑综合,生成FPGA网表。
4.根据权利要求3所述的一种基于LUT行为分析的硬件木马检测方法,其特征在于,所述FPGA综合工具为Yosys。
5.根据权利要求1所述的一种基于LUT行为分析的硬件木马检测方法,其特征在于,所述步骤3中进行功能仿真时,采用的仿真工具为ModelSim或QuestaSim。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110969151.8A CN113761532A (zh) | 2021-08-23 | 2021-08-23 | 一种基于lut行为分析的硬件木马检测方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110969151.8A CN113761532A (zh) | 2021-08-23 | 2021-08-23 | 一种基于lut行为分析的硬件木马检测方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN113761532A true CN113761532A (zh) | 2021-12-07 |
Family
ID=78790817
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110969151.8A Pending CN113761532A (zh) | 2021-08-23 | 2021-08-23 | 一种基于lut行为分析的硬件木马检测方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113761532A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114861573A (zh) * | 2022-04-08 | 2022-08-05 | 西北工业大学 | 一种基于lut特征提取和机器学习的硬件木马检测方法 |
-
2021
- 2021-08-23 CN CN202110969151.8A patent/CN113761532A/zh active Pending
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114861573A (zh) * | 2022-04-08 | 2022-08-05 | 西北工业大学 | 一种基于lut特征提取和机器学习的硬件木马检测方法 |
CN114861573B (zh) * | 2022-04-08 | 2024-03-08 | 西北工业大学 | 一种基于lut特征提取和机器学习的硬件木马检测方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Xue et al. | Ten years of hardware Trojans: a survey from the attacker's perspective | |
Yu et al. | Secure FPGA circuits using controlled placement and routing | |
Becker et al. | Stealthy dopant-level hardware trojans | |
Ender et al. | The first thorough side-channel hardware trojan | |
Bucci et al. | A power consumption randomization countermeasure for DPA-resistant cryptographic processors | |
Cilio et al. | Mitigating power-and timing-based side-channel attacks using dual-spacer dual-rail delay-insensitive asynchronous logic | |
US20240089079A1 (en) | System and methods directed to side-channel power resistance for encryption algorithms using dynamic partial reconfiguration | |
Trippel et al. | Bomberman: defining and defeating hardware ticking timebombs at design-time | |
US11863304B2 (en) | System and methods directed to side-channel power resistance for encryption algorithms using dynamic partial reconfiguration | |
CN113761532A (zh) | 一种基于lut行为分析的硬件木马检测方法 | |
Saeki et al. | A design methodology for a DPA-resistant cryptographic LSI with RSL techniques | |
Wu et al. | EXERT: EXhaustive IntEgRiTy analysis for information flow security | |
Shekarian et al. | Neutralizing a design-for-hardware-trust technique | |
Cilio et al. | Side-channel attack mitigation using dual-spacer Dual-rail Delay-insensitive Logic (D 3 L) | |
Ahmed et al. | Automap: Automated mapping of security properties between different levels of abstraction in design flow | |
Kamadi et al. | Implementation of TRNG with SHA-3 for hardware security | |
Yang et al. | Exploiting the analog properties of digital circuits for malicious hardware | |
Cho et al. | Towards bidirectional LUT-level detection of hardware Trojans | |
Oya et al. | Hardware-Trojans rank: Quantitative evaluation of security threats at gate-level netlists by pattern matching | |
CN114238956B (zh) | 基于属性自动提取和形式化验证的硬件木马搜索检测方法 | |
Ahmadi et al. | Shapeshifter: Protecting fpgas from side-channel attacks with isofunctional heterogeneous modules | |
Nejat et al. | How logic masking can improve path delay analysis for Hardware Trojan detection | |
Wu et al. | Identifying Specious LUTs for Satisfiability Don’t Care Trojan Detection | |
Wang et al. | Preventing Scan‐Based Side‐Channel Attacks by Scan Obfuscating with a Configurable Shift Register | |
Rakotomalala et al. | Private circuits II versus fault injection attacks |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination |