Storm: Refinement Types for Secure Web Applications

Storm: Refinement Types for Secure Web Applications
复制标题

Storm：安全 Web 应用程序的细化类型

DOI：
--
复制
发表时间：
2021
期刊：
USENIX Symposium on Operating Systems Design and Implementation
影响因子：
--
通讯作者：
Jhala, Ranjit
Jhala, Ranjit
中科院分区：
--
文献类型：
--
作者：
Lehmann, Nico;Kunkel, Rose;Brown, Jordan;Yang, Jean;Vazou, Niki;Polikarpova, Nadia;Stefan, Deian;Jhala, Ranjit

文献摘要

相似文献