宾夕法尼亚州立大学（Pennsylvania State University）最近的一项研究发现，废弃的油气井（AOGW）可以集成到压缩空气储能系统（CAES）中，以利用其天然地热。这么一来，AOGW将不是环境责任，而成为储能的助推器。

In this talk, I would like to share our attempts to solve security problems using various techniques. Starting from formal methods, we have applied formal modeling and reasoning to security ...