Refinement types for secure implementations 论文

2011ACM Transactions on Programming Languages and Systems引用 228
DOIPDF
Security and Verification in ComputingAdvanced Authentication Protocols SecurityFormal Methods in Verification
网络安全Security and Verification in ComputingFormal Methods in VerificationAdvanced Authentication Protocols Security
相关技术:Formal Methods in Verification
关系图谱

Refinement types for secure implementations · 相关技术

相关技术

Formal Methods in Verification