首页>外文会议>European joint conferences on theory and practice of software;International conference on principles of security and trust

European joint conferences on theory and practice of software;International conference on principles of security and trust

召开年：2016
召开地：Eindhoven(NL)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Frank Piessens;Luca Vigano
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
2.ETAPS Foreword

机译：阶段序言
- 作者：Joost-Pieter Katoen
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
3.Correct Audit Logging: Theory and Practice

机译：正确的审计记录：理论与实践
- 作者：Sepehr Amir-Mohammadian;Stephen Chong;Christian Skalka
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
4.The Value of Attack-Defence Diagrams

机译：攻击防御图的价值
- 作者：Holger Hermanns;Julia Kraemer;Jan Krcal;Marieelle Stoelinga
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
5.Faceted Dynamic Information Flow via Control and Data Monads

机译：通过控制和数据单方面的动态信息流
- 作者：Thomas Schmitz;Dustin Rhodes;Thomas H. Austin;Kenneth Knowles;Cormac Flanagan
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
6.Asymmetric Secure Multi-execution with Declassification

机译：带解密的非对称安全多执行
- 作者：Iulia Bolosteanu;Deepak Garg
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
7.Composing Protocols with Randomized Actions

机译：用随机动作组成协议
- 作者：Matthew S. Bauer;Rohit Chadha;Mahesh Viswanathan
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
8.Bounding the Number of Agents, for Equivalence Too

机译：限制代理数量，也太等价
- 作者：Veronique Cortier;Antoine Dallon;Stephanie Delaune
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
9.A Taxonomy of Information Flow Monitors

机译：信息流监控器分类
- 作者：Nataliia Bielova;Tamara Rezk
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
10.On Improvements of Low-Deterministic Security

机译：关于低确定性安全性的改进
- 作者：Joachim Breitner;Juergen Graf;Martin Hecker;Martin Mohr;Gregor Snelting
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
- Information flow control;
- Probabilistic noninterference;
- Program analysis;
11.AIF-ω: Set-Based Protocol Abstraction with Countable Families

机译：AIF-ω：具有可计数族的基于集合的协议抽象
- 作者：Sebastian Moedersheim;Alessandro Bruni
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
12.Computational Soundness Results for Stateful Applied π Calculus

机译：有状态应用π演算的计算稳健性结果
- 作者：Jianxiong Shao;Yu Qin;Dengguo Feng
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
- Computational soundness;
- Applied π calculus;
- Stateful protocols;
13.Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study

机译：迈向基于逻辑的全自动信息流分析：电子投票案例研究
- 作者：Quoc Huy Do;Eduard Kamburjan;Nathan Wasser
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
- Test generation;
- Information flow;
- Invariant generation;
14.Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels

机译：建立缓解非法通道的综合隔离模型
- 作者：Kevin Falzon;Eric Bodden
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
15.Tool Demonstration: JOANA

机译：工具演示：JOANA
- 作者：Juergen Graf;Martin Hecker;Martin Mohr;Gregor Snelting
- 会议名称：《European joint conferences on theory and practice of software;International conference on principles of security and trust》 | 2016年
- Information flow control;
- Probabilistic noninterference;
- Program analysis;