Subjects :
Verification Tool
논문 검색결과
| Type |
Year |
Title |
Cited |
Download |
|
Journal
|
2022 |
On the Security of a Lightweight and Secure Access Authentication Scheme for Both UE and mMTC Devices in 5G Networks
Park Kisung Applied Sciences, v.12, no.9, pp.1-18 |
3 |
원문
|
|
Journal
|
2019 |
O2TR: Offline OTR Messaging System under Network Disruption
Mahdi Daghmehchi Firoozjaei Computers & Security, v.82, pp.227-240 |
4 |
원문
|
|
Conference
|
2017 |
Dynamic Information Extraction and Integrity Verification Scheme for Cloud Security
Kim Hyun Joo iCatse International Symposium on Software Networking (ICSN) 2017 (LNEE 425), pp.424-429 |
3 |
원문
|
|
Conference
|
2013 |
An approach to Authoring and Validation of Shipdex Data Modules
Choi Youhee International Conference on Information and Communication Technology Convergence (ICTC) 2013, pp.889-893 |
0 |
원문
|
|
Conference
|
2012 |
Case Study: Verification of ECML Models Using SpaceEx
조재연 Korea-Japan Joint Workshop on ICT 2012, pp.1-4 |
|
|
|
Conference
|
2012 |
Translation from ECML to Linear Hybrid Automata
조재연 International Workshop on Technologies and Applications for Cyber-Phyiscal Systems (TACPS) 2012, pp.293-300 |
1 |
원문
|
|
Conference
|
2011 |
DEV&DESS based Verification Tool for Cyber-Physical System
Kim Jin Myoung The Society for Modeling and Simulation International 2011, pp.1-4 |
|
|
|
Conference
|
2008 |
APROV: Another Program Verifier for Embedded Linux Device Drivers
이욱세 International Conference on Advanced Communication Technology (ICACT) 2008, pp.105-109 |
0 |
원문
|
특허 검색결과
| Status |
Year |
Patent Name |
Country |
Family Pat. |
KIPRIS |
|
No search results. |
연구보고서 검색결과
| Type |
Year |
Research Project |
Primary Investigator |
Download |
|
No search results. |