Approach on runtime monitoring based on the embedded trusted platforms
The state-of-art trusted computing platforms fall short of monitoring its own runtime security properties.In order to mitigate these problems,an approach on runtime monitoring for the embedded trusted platforms was proposed.With the automated code instrumentation and the runtime monitoring,that the...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
POSTS&TELECOM PRESS Co., LTD
2017-10-01
|
| Series: | 网络与信息安全学报 |
| Subjects: | |
| Online Access: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00209 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841530194823741440 |
|---|---|
| author | Zhao-chang SUN Jian-feng MA Cong SUN Di LU |
| author_facet | Zhao-chang SUN Jian-feng MA Cong SUN Di LU |
| author_sort | Zhao-chang SUN |
| collection | DOAJ |
| description | The state-of-art trusted computing platforms fall short of monitoring its own runtime security properties.In order to mitigate these problems,an approach on runtime monitoring for the embedded trusted platforms was proposed.With the automated code instrumentation and the runtime monitoring,that the runtime security functionalities were consistent with the design specifications of trusted computing platforms could be made sure.The system performance and states meet specific constraints could also be ensured.The runtime exceptions on the specific properties were handled in real-time.The experimental results show that with the increase on the number of monitoring nodes,the precision and real-time performance of proposed runtime monitoring increase.Meanwhile,the costs on the monitoring and the exception handling are moderate. |
| format | Article |
| id | doaj-art-2c4ae67b4f08481c9feffae9acadd2c3 |
| institution | Kabale University |
| issn | 2096-109X |
| language | English |
| publishDate | 2017-10-01 |
| publisher | POSTS&TELECOM PRESS Co., LTD |
| record_format | Article |
| series | 网络与信息安全学报 |
| spelling | doaj-art-2c4ae67b4f08481c9feffae9acadd2c32025-01-15T03:06:06ZengPOSTS&TELECOM PRESS Co., LTD网络与信息安全学报2096-109X2017-10-013445159551569Approach on runtime monitoring based on the embedded trusted platformsZhao-chang SUNJian-feng MACong SUNDi LUThe state-of-art trusted computing platforms fall short of monitoring its own runtime security properties.In order to mitigate these problems,an approach on runtime monitoring for the embedded trusted platforms was proposed.With the automated code instrumentation and the runtime monitoring,that the runtime security functionalities were consistent with the design specifications of trusted computing platforms could be made sure.The system performance and states meet specific constraints could also be ensured.The runtime exceptions on the specific properties were handled in real-time.The experimental results show that with the increase on the number of monitoring nodes,the precision and real-time performance of proposed runtime monitoring increase.Meanwhile,the costs on the monitoring and the exception handling are moderate.http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00209trusted computingruntime verificationembedded systemlinear temporal logic |
| spellingShingle | Zhao-chang SUN Jian-feng MA Cong SUN Di LU Approach on runtime monitoring based on the embedded trusted platforms 网络与信息安全学报 trusted computing runtime verification embedded system linear temporal logic |
| title | Approach on runtime monitoring based on the embedded trusted platforms |
| title_full | Approach on runtime monitoring based on the embedded trusted platforms |
| title_fullStr | Approach on runtime monitoring based on the embedded trusted platforms |
| title_full_unstemmed | Approach on runtime monitoring based on the embedded trusted platforms |
| title_short | Approach on runtime monitoring based on the embedded trusted platforms |
| title_sort | approach on runtime monitoring based on the embedded trusted platforms |
| topic | trusted computing runtime verification embedded system linear temporal logic |
| url | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00209 |
| work_keys_str_mv | AT zhaochangsun approachonruntimemonitoringbasedontheembeddedtrustedplatforms AT jianfengma approachonruntimemonitoringbasedontheembeddedtrustedplatforms AT congsun approachonruntimemonitoringbasedontheembeddedtrustedplatforms AT dilu approachonruntimemonitoringbasedontheembeddedtrustedplatforms |