首页>外文会议>其他>NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems

NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Using Epistemic Logic to Analyze Protocols

机译：使用认知逻辑来分析协议
- 作者：Joseph Y. Halpern
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- epistemic logic;
- coodinated attack;
- blockchain;
- authentication logic;
- BAN logic;
- common knowledge;
2.Formal Methods and Tool-Suites for CPS Security, Safety and Verification

机译：用于CPS安全性，安全性和验证的正式方法和工具套件
- 作者：JOHN S. BARAS
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- CPS;
- MBSE;
- validation;
- verification;
- reachability;
- semirings;
- composable;
3.Building Deductive Program Verifiers

机译：建立演绎程序验证者
- 作者：Lecture Notes
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- verification condition generation;
- intermediate verification language;
- permission logics;
- hyperproperties;
- product programs;
- Nagini;
- Viper;
4.Automatic Program Verification with SeaHorn

机译：Seahorn自动编程验证
- 作者：Arie GURFINKEL;Jorge A. NAVAS
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- software Model Checking;
- program verification;
- Constrained Horn Clauses;
- Abstract Interpretation;
5.The Thousand-and-One Cryptographers

机译：一千个和一个加密人员
- 作者：Annabelle MCIVER;Carroll MORGAN
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- Security;
- refinement;
- automated proof;
- correctness;
- unbounded dining cryptographers;
6.Programming by Examples: PL Meets ML

机译：通过示例进行编程：PL会见mL
- 作者：Sumit Gulwani;Prateek Jain
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- Program synthesis;
- Programming by Examples;
- Search algorithm;
- Program ranking;
- Active learning;
- Data wrangling;
7.Efficient Checking of Actual Causality with SAT Solving

机译：高效检查与SAT解决方案的实际因果关系
- 作者：Amjad IBRAHIM;Simon REHWALD;Alexander PRETSCHNER
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- accountability;
- actual causality;
- sat solving;
- reasoning;
8.Abstraction-Based Control Design (Lecture Notes)

机译：基于抽象的控制设计（讲义笔记）
- 作者：Rupak MAJUMDAR;Kaushik MALLIK;Anne-Kathrin SCHMUCK
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- Abstraction-based control design;
- reactive synthesis;
9.SAT and SMT Solvers: A Foundational Perspective

机译：SAT和SMT求解器：一个基础的视角
- 作者：Vijay Ganesh
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
10.Maude-NPA and Formal Analysis of Protocols with Equational Theories

机译：Maude-NPA和等式理论的协议正式分析
- 作者：Catherine MEADOWS;Santiago ESCOBAR;José MESEGUER
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- cryptographic protocols;
- formal methods;
- rewriting;
- unification;
11.A Formal Introduction to Abstract Interpretation

机译：对抽象解释的正式介绍
- 作者：Patrick COUSOT
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- Semantics;
- Property;
- Verification;
- Proof method;
- Static analysis;
- Calculational design;
12.Clocks in Kahn Process Networks

机译：KAHN过程网络中的时钟
- 作者：Marc Pouzet
- 会议名称：《NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems;NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems》 | 2019年
- Kahn Process Networks;
- language Lustre;
- complexity of the resolution;