TY - GEN
T1 - Secure Programming Platform for Edge-Based IoT
T2 - 2023 Forum on Specification and Design Languages, FDL 2023
AU - Kim, Hokeun
N1 - Publisher Copyright:
© 2023 IEEE Computer Society. All rights reserved.
PY - 2023
Y1 - 2023
N2 - The edge computing-based Internet of Things (IoT) offers benefits in terms of efficiency, low latency, security, and privacy. However, programming models and platforms for this edge-based IoT are still an open problem, particularly regarding security and privacy. This paper proposes concrete and realizable ideas for building a secure programming platform called Secure Swarm Programming Platform (SSPP) to ensure platform-level security for the edge-based IoT while utilizing existing system-level security mechanisms. SSPP's easy-To-use software components can enable static and dynamic security analysis of IoT applications, preventing vulnerabilities and detecting intrusions. Software deployed through SSPP can be remotely attested by a verifier on the edge, ensuring it remains untampered with. This paper also plans out future research and evaluation of SSPP's programmability, security, and remote attestation. copy; 2023 IEEE.
AB - The edge computing-based Internet of Things (IoT) offers benefits in terms of efficiency, low latency, security, and privacy. However, programming models and platforms for this edge-based IoT are still an open problem, particularly regarding security and privacy. This paper proposes concrete and realizable ideas for building a secure programming platform called Secure Swarm Programming Platform (SSPP) to ensure platform-level security for the edge-based IoT while utilizing existing system-level security mechanisms. SSPP's easy-To-use software components can enable static and dynamic security analysis of IoT applications, preventing vulnerabilities and detecting intrusions. Software deployed through SSPP can be remotely attested by a verifier on the edge, ensuring it remains untampered with. This paper also plans out future research and evaluation of SSPP's programmability, security, and remote attestation. copy; 2023 IEEE.
KW - Edge computing
KW - IoT
KW - Programming Model
KW - Security
KW - Software Platform
UR - https://www.scopus.com/pages/publications/85175232871
UR - https://www.scopus.com/pages/publications/85175232871#tab=citedBy
U2 - 10.1109/FDL59689.2023.10272133
DO - 10.1109/FDL59689.2023.10272133
M3 - Conference contribution
AN - SCOPUS:85175232871
T3 - Forum on Specification and Design Languages
BT - Proceedings of the 2023 Forum on Specification and Design Languages, FDL 2023
PB - IEEE Computer Society
Y2 - 13 September 2023 through 15 September 2023
ER -