高可信是计算机领域描述系统可信性的核心属性，指系统在遭受外部攻击、人为失误或软硬件故障时仍能保持服务连续性并按时恢复的能力。其技术实现包含实名上网、安全认证、端到端监控等关键要素，2009年中科院提出的高效能可信计算机系统概念被纳入美国HPCS计划等国际研究热点。2020年中国科学技术大学发布的高可信软件验证平台（学习版）通过形式化验证技术支撑国家信息网络安全建设，推动了该技术从理论研究向工程应用的转化。

可信性（Creditability）在计算机科学中指系统持续提供可靠服务的能力量化指标，包含三个维度：

该定义于2009年在中科院'高效能可信计算机系统'研究项目中形成理论框架，其可信性（Creditability）的学术定义被国际学术共同体采纳为可信计算的基础标准。

高可信网络架构包含四项基础技术：

其中动态加密传输技术采用前向安全加密算法，有效防范中间人攻击。

美国HPCS计划将高效能可信计算机系统列为重点攻关方向，其阶段性成果包括：

。该工具链包含：

在金融领域应用案例中，某银行核心系统引入高可信技术后，其交易故障恢复时间从4小时缩短至8分钟，系统可用性达到99.999%。该技术同时支撑工业控制软件开发，可检测出传统测试方法遗漏的67%并发缺陷。