可引用的發言段落Citable transcript turn
#49851
講者：Speaker:
If their proof-carrying code and all those advanced verification mechanisms cannot translate it to the language that everybody, common people, understands, they may achieve the mathematical definition of security, but there is no psychological or sociological definition of security, of feeling secure.