首页>外文会议>International workshop on security and trust management

International workshop on security and trust management

召开年：2014
召开地：Wroclaw(PL)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.ALPS: An Action Language for Policy Specification and Automated Safety Analysis

机译：ALPS：一种用于策略规范和自动安全分析的动作语言
- 作者：Silvio Ranise;Riccardo Traverso
- 会议名称：《International workshop on security and trust management》 | 2014年
2.A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA

机译：协议不可区分性的正式定义及其使用Maude-NPA的验证
- 作者：Sonia Santiago;Santiago Escobar;Catherine Meadows;Jose Meseguer
- 会议名称：《International workshop on security and trust management》 | 2014年
3.Hybrid Enforcement of Category-Based Access Control

机译：基于类别的访问控制的混合执行
- 作者：Asad Ali;Maribel Fernandez
- 会议名称：《International workshop on security and trust management》 | 2014年
4.Lime: Data Lineage in the Malicious Environment

机译：石灰：恶意环境中的数据沿袭
- 作者：Michael Backes;Niklas Grimm;Aniket Kate
- 会议名称：《International workshop on security and trust management》 | 2014年
5.NoPhish: An Anti-Phishing Education App

机译：NoPhish：反网络钓鱼教育应用
- 作者：Gamze Canova;Melanie Volkamer;Clemens Bergmann;Roland Borza
- 会议名称：《International workshop on security and trust management》 | 2014年
6.ROMEO: ReputatiOn Model Enhancing OpenID Simulator

机译：ROMEO：增强OpenID模拟器的声誉模型
- 作者：Gines Dolera Tormo;Felix Gomez Marmol;Gregorio Martinez Perez
- 会议名称：《》 | 2014年
7.Evaluation of Key Management Schemes in Wireless Sensor Networks

机译：无线传感器网络中密钥管理方案的评估
- 作者：Filip Jurnecka;Martin Stehlik;Vashek Matyas
- 会议名称：《》 | 2014年
8.Efficient Java Code Generation of Security Protocols Specified in AnB/ AnBx

机译：AnB / AnBx中指定的安全协议的高效Java代码生成
- 作者：Paolo Modesti
- 会议名称：《International workshop on security and trust management》 | 2014年
- security protocols;
- code generation;
- applied formal methods;
9.Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation

机译：将信任和经济理论与知识科学相集成，以实现可靠的服务自动化
- 作者：Vangalur Alagar;Kaiyu Wan
- 会议名称：《International workshop on security and trust management》 | 2014年
- Service Automation;
- Economic Theory;
- Trust Theory;
- Knowledge Science;
10.Privacy Architectures: Reasoning about Data Minimisation and Integrity

机译：隐私体系结构：关于数据最小化和完整性的推理
- 作者：Thibaud Antignac;Daniel Le Metayer
- 会议名称：《International workshop on security and trust management》 | 2014年
11.Monotonicity and Completeness in Attribute-Based Access Control

机译：基于属性的访问控制中的单调性和完整性
- 作者：Jason Crampton;Charles Morisset
- 会议名称：《International workshop on security and trust management》 | 2014年
12.Caching and Auditing in the RPPM Model

机译：RPPM模型中的缓存和审核
- 作者：Jason Crampton;James Sellwood
- 会议名称：《International workshop on security and trust management》 | 2014年
- access control;
- path condition;
- relationship;
- principal matching;
- authorization;
- caching;
- auditing;
- separation of duty;
- Chinese Wall;
13.BlueWallet: The Secure Bitcoin Wallet

机译：BlueWallet：安全的比特币钱包
- 作者：Tobias Bamert;Christian Decker;Roger Wattenhofer;Samuel Welten
- 会议名称：《International workshop on security and trust management》 | 2014年
- Bitcoin;
- Transaction;
- Security;
- Wallet;
- Public/Private Key;
- Authorization;
14.Ensuring Secure Non-interference of Programs by Game Semantics

机译：确保游戏语义安全地干扰程序
- 作者：Aleksandar S. Dimovski
- 会议名称：《International workshop on security and trust management》 | 2014年
15.Stateful Usage Control for Android Mobile Devices

机译：Android移动设备的状态使用控制
- 作者：Aliaksandr Lazouski;Fabio Martinelli;Paolo Mori;Andrea Saracino
- 会议名称：《International workshop on security and trust management》 | 2014年
- Usage Control;
- Mobile devices;
- XACML;
- Android;
16.A Formal Model for Soft Enforcement: Influencing the Decision-Maker

机译：软执法的正式模型：影响决策者
- 作者：Charles Morisset;Iryna Yevseyeva;Thomas Gross;Aad van Moorsel
- 会议名称：《International workshop on security and trust management》 | 2014年
17.Using Prediction Markets to Hedge Information Security Risks

机译：使用预测市场对冲信息安全风险
- 作者：Pankaj Pandey;Einar Arthur Snekkenes
- 会议名称：《International workshop on security and trust management》 | 2014年
18.Preface

机译：前言
- 作者：Sjouke Mauw
- 会议名称：《International workshop on security and trust management》 | 2014年