首页>外文会议>International symposium on foundations and practice of security

International symposium on foundations and practice of security

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case

机译：网络入侵检测中的数学效率研究
- 作者：Jean Goubault-Larrecq;Julien Olivain
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Sample entropy;
- Paninski estimator;
- Malware;
- Intrusion detection;
2.On the Feasibility of a Censorship Resistant Decentralized Name System

机译：论抗审查权的分散名称系统的可行性
- 作者：Matthias Wachs;Martin Schanzenbach;Christian Grothoff
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
3.A General Framework for Group Authentication and Key Exchange Protocols

机译：组身份验证和密钥交换协议的通用框架
- 作者：Huihui Yang;Lei Jiao;Vladimir A. Oleshchuk
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
4.Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange

机译：为经过身份验证的密钥交换建模同时相互认证
- 作者：Zheng Yang
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Authentication;
- Authenticated key exchange;
- Protocol compiler;
- Security model;
- Perfect forward secrecy;
5.Model-Based Specification and Validation of Security and Dependability Patterns

机译：基于模型的安全性和可靠性模式的规范和验证
- 作者：Brahim Hamid;Christian Percebois
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Pattern;
- Meta-model;
- Domain;
- Formalization;
- Model driven engineering;
- Security and Dependability;
6.Enforcing Information Flow by Combining Static and Dynamic Analysis

机译：通过静态和动态分析相结合来加强信息流
- 作者：Andrew Bedford;Josee Desharnais;Theophane G. Godonou;Nadia Tawbi
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
7.Fault Injection to Reverse Engineer DES-Like Cryptosystems

机译：故障注入以逆向工程DES加密系统
- 作者：Helene Le Bouder;Sylvain Guilley;Bruno Robisson;Assia Tria
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Physical attacks;
- Fault injection attacks;
- Reverse engineering;
- FIRE;
- DES-like cryptosystem;
- S-boxes;
8.Software Camouflage

机译：伪装软件
- 作者：Sylvain Guilley;Damien Marion;Zakaria Najm;Youssef Souissi;Antoine Wurcker
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Side-channel analysis;
- Reverse-engineering;
- Cryptography;
- substitution boxes (sboxes);
- CNF;
- ANF;
- Masking;
- Camouflage;
- Obscurity;
9.Investigation of Parameters Influencing the Success of Optical Fault Attacks

机译：影响光故障攻击成功的参数研究
- 作者：Thomas Korak
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Laser beam;
- Optical fault injection;
- Microcontroller;
- SRAM;
10.ONTIDS: A Highly Flexible Context-Aware and Ontology-Based Alert Correlation Framework

机译：ONTIDS：高度灵活的上下文感知和基于本体的警报关联框架
- 作者：Alireza Sadighian;Jose M. Fernandez;Antoine Lemay;Saman T. Zargar
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Intrusion detection;
- Alert correlation;
- Ontology;
- Contextaware;
11.Quantitative Evaluation of Enforcement Strategies Position Paper

机译：执法策略定量评估立场文件
- 作者：Vincenzo Ciancia;Fabio Martinelli;Matteucci Ilaria;Charles Morisset
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Enforcement mechanisms;
- Quantitative process algebra;
- Semiring;
12.Collusion Resistant Inference Control for Cadastral Databases

机译：地籍数据库的抗共谋推理控制
- 作者：Firas Al Khalil;Alban Gabillon;Patrick Capolsini
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Security;
- Inference control;
- Database;
- Collusion;
13.Leveraging Ontologies upon a Holistic Privacy-Aware Access Control Model

机译：在整体隐私感知访问控制模型上利用本体
- 作者：Eugenia I. Papagiannakopoulou;Maria N. Koukovini;Georgios V. Lioudakis;Nikolaos Delias;Joaquin Garcia-Alfaro;Dimitra I. Kaklamani;Iakovos S. Venieris;Nora Cuppens-Boulahia;Frederic Cuppens
- 会议名称：《》 | 2014年
14.Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations

机译：北约行动中基于内容的保护和发布的访问控制的形式化建模
- 作者：Alessandro Armando;Sander Oudkerk;Silvio Ranise;Konrad Wrona
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
15.Computational Soundness of Symbolic Blind Signatures under Active Attacker

机译：主动攻击者下符号盲签名的计算安全性
- 作者：Hideki Sakurada
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
16.Improved Davies-Murphy's Attack on DES Revisited

机译：重新审视了Davies-Murphy对DES的攻击
- 作者：Yi Lu;Yvo Desmedt
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- DES;
- Block cipher;
- Davies-Murphy's attack;
- Linear cryptanalysis;
- Matsui's algorithm 2;
- Walsh transform;
17.Yet Another Fault-Based Leakage in Non-uniform Faulty Ciphertexts

机译：非均匀错误密文中的另一种基于错误的泄漏
- 作者：Yang Li;Yu-ichi Hayashi;Arisa Matsubara;Naofumi Homma;Takafumi Aoki;Kazuo Ohta;Kazuo Sakiyama
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Fault analysis;
- Non-uniform mapping;
- Setup-time violation;
18.A Hierarchical Anti-Counterfeit Mechanism: Securing the Supply Chain Using RFIDs

机译：分层防伪机制：使用RFID保护供应链
- 作者：Zeeshan Bilal;Keith Martin
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- RFID security;
- EPC Class-1 Gen-2 standard;
- Counterfeiting;
- Supply chain management systems;
19.A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks

机译：在Ad-Hoc网络中验证路由有效性的更现实模型
- 作者：Ali Kassem;Pascal Lafourcade;Yassine Lakhnech
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Routing protocols;
- Non-cooperative attacker;
- Route validity;
- Reduction proof;
20.On the Security of a Privacy-Preserving Key Management Scheme for Location Based Services in VANETs

机译：VANET中基于位置的服务的隐私保护密钥管理方案的安全性
- 作者：Bao Liu;Lei Zhang;Josep Domingo-Ferrer
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Security;
- Vehicle privacy;
- Vehicular ad hoc networks;
- Location based services;
- Key management;
21.CheR: Cheating Resilience in the Cloud via Smart Resource Allocation

机译：CheR：通过智能资源分配在云中欺骗弹性
- 作者：Di Pietro Roberto;Flavio Lombardi;Fabio Martinelli;Daniele Sgandurra
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
22.Evaluation of Software-Oriented Block Ciphers on Smartphones

机译：智能手机上面向软件的分组密码的评估
- 作者：Lukas Malina;Vlastimil Clupek;Zdenek Martinasek;Jan Hajny;Kimio Oguchi;Vaclav Zeman
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Block cipher;
- Efficiency;
- Encryption;
- JAVA;
- Lightweight cryptography;
23.Don't Push It: Breaking iButton Security

机译：不要推它：破坏iButton的安全性
- 作者：Christian Brandt;Michael Kasper
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
24.Discovering Flaws in IDS Through Analysis of Their Inputs

机译：通过分析IDS的输入发现缺陷
- 作者：Raphaeel Jamet;Pascal Lafourcade
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Wireless ad-hoc networks;
- Formal methods;
- Intrusion detection systems;
- Security;
25.On the Reverse Engineering of the Citadel Botnet

机译：城堡僵尸网络的逆向工程
- 作者：Ashkan Rahimian;Raha Ziarati;Stere Preda;Mourad Debbabi
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Reverse Engineering;
- Malware Analysis;
- Clone Analysis;
26.The Carna Botnet Through the Lens of a Network Telescope

机译：卡纳僵尸网络通过网络望远镜的镜头
- 作者：Erwan Le Malecot;Daisuke Inoue
- 会议名称：《International symposium on foundations and practice of security》 | 2014年
- Internet;
- Reconnaissance;
- Network monitoring;
- Security;
- Traffic analysis;
- Ethics;
27.Preface

机译：前言
- 作者：Jean-Luc Danger;Mourad Debbabi;Jean-Yves Marion
- 会议名称：《International symposium on foundations and practice of security》 | 2014年