首页>外文会议>其他>IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress

IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.SECURITY ISSUES IN THE TUPLE-SPACE COORDINATION MODEL

机译：元组空间协调模型中的安全问题
- 作者：Mario Bravetti;Nadia Busi;Roberto Gorrieri;Roberto Lucchi;Gianluigi Zavattaro;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
2.MODELLING DYNAMIC OPACITY USING PETRI NETS WITH SILENT ACTIONS

机译：使用秘密行动使用Petri网建模动态透明度
- 作者：Jeremy W. Bryans;Maciej Koutny;Peter Y.A. Ryan;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
- opacity;
- non-deducibility;
- anonymity;
- Petri nets;
- observable behaviour;
- silent actions;
3.DYNAMIC SECURITY LABELS AND NONINTERFERENCE

机译：动态安全标签和非干扰
- 作者：Lantian Zheng;Andrew C. Myers;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
4.REASONING ABOUT SECURE INTEROPERATION USING SOFT CONSTRAINTS

机译：使用软限制对安全互操作的推理
- 作者：Stefano Bistarelli;Simon N. Foley;Barry OSullivan;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
- secure interoperation;
- constraint satisfaction;
5.INFORMATION FLOW ANALYSIS FOR PROBABILISTIC TIMED AUTOMATA

机译：概率定时自动机的信息流分析
- 作者：Ruggero Lanotte;Andrea Maggiolo-Schettini;Angelo Troina;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
6.FORMAL ANALYSIS OF A FAIR PAYMENT PROTOCOL

机译：公平支付协议的正式分析
- 作者：Jan Cederquist;Muhammad Torabi Dashti;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
7.A FORMAL MODEL FOR PARAMETERIZED ROLE-BASED ACCESS CONTROL

机译：基于角色的访问控制的正式模型
- 作者：Ali E. Abdallah;Etienne J. Khayat;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
8.DECIDABILITY OF OPACITY WITH NON-ATOMIC KEYS

机译：非原子键的不透明性
- 作者：Laurent Mazare;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
- opacity;
- security;
- formal verification;
- dolev-yao constraints;
- rewriting systems;
- decidability;
9.DISCRETIONARY OVERRIDING OF ACCESS CONTROL IN THE PRIVILEGE CALCULUS

机译：在特权微积分中的自由裁量权覆盖访问控制
- 作者：Erik Rissanen;Babak Sadighi Firozabadi;Marek Sergot;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
10.VIRTUAL ANALYSIS AND REDUCTION OF SIDE-CHANNEL VULNERABILITIES OF SMARTCARDS

机译：智能卡的虚拟分析和减少侧通道漏洞
- 作者：Jerry den Hartog;Erik de Vink;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
- smartcard;
- side-channel attack;
- power analysis;
- fault analysis;
- DPA;
- simulation;
- countermeasures;
- systematic hardening;
11.A Trust Model with Statistical Foundation

机译：具有统计基础的信任模型
- 作者：Jianqiang Shi;Gregor v. Bochmann;Carlisle Adams;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
- trust;
- utility;
- decision making;
12.AN INTERACTIVE TRUST MANAGEMENT AND NEGOTIATION SCHEME

机译：交互式信托管理与谈判方案
- 作者：Hristo Koshutanski;Fabio Massacci;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
13.A LOGIC FOR AUDITING ACCOUNTABILITY IN DECENTRALIZED SYSTEMS

机译：分散系统审计问责制的逻辑
- 作者：R. Corin;S. Etalle;J. den Hartog;G. Lenzini;I. Staicu;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
14.COMPLEMENTING COMPUTATIONAL PROTOCOL ANALYSIS WITH FORMAL SPECIFICATIONS

机译：用正式规格补充计算协议分析
- 作者：Kim-Kwang Raymond Choo;Colin Boyd;Yvonne Hitchcock;Greg Mait-land;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
15.A FORMAL APPROACH TO SPECIFY AND DEPLOY A NETWORK SECURITY POLICY

机译：一种指定和部署网络安全策略的正式方法
- 作者：F. Cuppens;N. Cuppens-Boulahia;T. Sans;A. Miege;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年
16.FAMILY SECRETS

机译：家庭秘密
- 作者：James Heather;Jonathan Y. Clark;International Federation for Information Processing(IFIP);IFIP 173
- 会议名称：《IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress》 | 2005年