document.getElementById("med-ftitle").innerHTML=`基于线性逻辑规范的密码协议保密性属性自动验证
`;