安全性和有效性属性-一流百科

安全性和有效性属性

安全性和有效性属性计算机程序执行的属性--特别是对于并发和分布式系统--长期以来一直是通过给出安全属性（坏事不会发生）和有效性属性（好事会发生）来制定...

词条百科