MIT CSAIL(Computer Science and Artificial Intelligence Laboratory)과 뉴욕대학교 연구진이 "신뢰할 수 있는 하드웨어 보안 모듈을 위한 K2 아키텍처"라는 기술 논문을 발표했습니다.
요약 :
“K2는 하드웨어 보안 모듈(HSM)을 위한 새로운 아키텍처 및 검증 접근 방식입니다. 비밀 상태에 대한 I/O, 스토리지 및 계산 간의 엄격한 분리를 통해 K2 아키텍처는 모듈식 증명을 가능하게 하고 하드웨어 개발 및 검증과 관계없이 소프트웨어 개발 및 검증을 허용하는 동시에 구성된 시스템에 대한 정확성과 보안 보장을 제공합니다. 검증의 핵심 단계를 위해 K2는 특정 하드웨어 구현에서 실행되는 소프트웨어의 타이밍 속성을 자동으로 증명하여 정확한 주기 수준에서 타이밍 사이드 채널이 부족함을 보장하는 Chroniton이라는 새로운 도구를 도입했습니다.”
찾기 여기에 기술 문서가 있습니다. 2023년 XNUMX월 출판.
Athalye, Anish, Frans Kaashoek, Nickolai Zeldovich 및 Joseph Tassarotti. “신뢰할 수 있는 하드웨어 보안 모듈을 위한 K2 아키텍처.” 커널 격리, 안전 및 검증에 관한 제1차 워크숍 진행 중, pp. 26-32. 2023.
관련 독서
보안 검증에 필요한 새로운 개념
하드웨어가 올바르게 작동하고 현장에 나타날 수 있는 취약점을 감지할 수 있는지 확인하는 것이 왜 그렇게 어려운가요?
안전 및 보안 검증 및 테스트
기능 검증은 안전하고 안전한 시스템을 보장하기 위해 기능 이상으로 확장되고 있습니다. 하드웨어와 소프트웨어에서 새로운 지원이 제공됩니다.
- SEO 기반 콘텐츠 및 PR 배포. 오늘 증폭하십시오.
- PlatoData.Network 수직 생성 Ai. 자신에게 권한을 부여하십시오. 여기에서 액세스하십시오.
- PlatoAiStream. 웹3 인텔리전스. 지식 증폭. 여기에서 액세스하십시오.
- 플라톤ESG. 탄소, 클린테크, 에너지, 환경, 태양광, 폐기물 관리. 여기에서 액세스하십시오.
- PlatoHealth. 생명 공학 및 임상 시험 인텔리전스. 여기에서 액세스하십시오.
- 출처: https://semiengineering.com/a-new-architecture-and-verification-approach-for-hardware-security-modules/
