...
机译:归纳跟踪属性以确保计算安全
Stanford University, 353 Serra Mall Rm 490, Stanford, CA 94040, USA;
Carnegie Mellon University, Pittsburgh, PA, USA;
Stanford University, Stanford, CA, USA;
rnStanford University, Stanford, CA, USA;
inductive proofs; protocols; computational security;
机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:氮和空气感应耦合等离子体的电子输运性质的计算和分析
机译:流域流动分馏 - 电感耦合等离子体质谱法(流FFF-ICP-MS)胶体特性及痕量金属络合特性研究
机译:通过电感耦合等离子体质谱(ICP-MS)和激光烧蚀电感耦合等离子体质谱(LA-ICP-MS)对玻璃进行痕量元素分析。
机译:通过绿色样品制备和电感耦合等离子体质谱(ICP-MS)追踪金属元素分析在红河(BA LAT河口越南)的沿海地区
机译:归纳的跟踪属性可确保计算安全
机译:用于水和废物微量元素分析的电感耦合等离子体原子发射光谱法,方法200.7。饮用水的电感耦合等离子体原子发射分析。方法200.7,修订版1.3的附录。