Trustworthy(dependable)한 제품을 개발, 검증, 운영, 유지하는 개발 방법론을 다루는 학문 결국, 각 개발 단계에서 assurance를 증명, chain of evidence를 확립, 개발 초기 단계에서부터 복잡성을 줄이고 보안을 고려하여야 함
