国防科技大学研究员王戟与团队在2003年发表《高可信软件工程技术》论文，开辟了中国计算机高可信软件研究的新领域。这一论文发表在《电子学报》增刊第12期，作者包括陈火旺、王戟和董威。高可信软件通过程序分析和验证手段确保软件具有极高的可靠安全性和保密安全性。