并列题名：Operational semantics and verification of security protocols Operational semantics and verification of security protocols 并列题名：International relations and national security 并列题名：Functional properties and modification techniques of proteins