Security API analysis with the spi-calculus

机译：使用SPI演算进行安全性API分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Levente Buttyán; Ta Vinh Thong;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Future of API (Application Programming Interface) Security: The Adoption of APIs for Digital Communications and the Implications for Cyber Security Vulnerabilities [J] . Munsch Alison, Munsch MBA Peter Journal of International Technology and Information Management . 2020,第3期

机译：API（应用程序编程接口）安全的未来：采用数字通信API和对网络安全漏洞的影响
2. Pro ASP.NET web API security: securing ASP.NET web API [J] . Rafael Corchuelo Computing reviews . 2013,第11期

机译：Pro ASP.NET Web API安全性：保护ASP.NET Web API
3. Physico - chemical analysis of honey of different honeybees, Apis cerana, Apis dorsata, Apis millefera and Apis florea [J] . J.V.A. Jyothi Journal of Entomological Research . 2006,第1期

机译：理化性质分析不同蜜蜂，蜜蜂，蜜蜂，蜜蜂，蜜蜂和蜜蜂
4. An Extensive Formal Security Analysis of the OpenID Financial-Grade API [C] . Daniel Fett, Pedram Hosseyni, Ralf Küsters IEEE Symposium on Security and Privacy . 2019

机译：OpenID金融级API的广泛形式安全分析
5. Improving Web Privacy And Security with a Cost-Benefit Analysis of the Web API [D] . Snyder, Peter. 2018

机译：通过对Web API的成本效益分析来改善Web隐私和安全性
6. Microservice Security Agent Based On API Gateway in Edge Computing [O] . Rongxu Xu, Wenquan Jin, Dohyeun Kim 2019

机译：边缘计算中基于API网关的微服务安全代理
7. Security Analysis of the W3C Web Cryptography API [O] . Cairns, Kelsey, Halpin, Harry, Steel, Graham 2017

机译：W3C Web密码API的安全性分析

Security API analysis with the spi-calculus

著录项

引文网络

相似文献

相关主题

期刊订阅