首页>外文会议>Risks and Security of Internet and Systems (CRiSIS), 2009

Risks and Security of Internet and Systems (CRiSIS), 2009

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD)

机译：使用正式安全数据流程图（FSDFD）的安全信息系统的正式设计
- 作者：Soudain N.;Raggad B.G.;Zouari B.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- DFD;
- FSDFD;
- assurance level;
- formal secure design;
- secure information system;
- security activities;
- security level;
- semantics;
- system component;
2.Author index

机译：作者索引
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
3.Untrustworthiness: A trust-based security metric

机译：不信任度：一种基于信任的安全度量
- 作者：Neto A.A.;Vieira M.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
4.Honeypot router for routing protocols protection

机译：Honeypot路由器，用于路由协议保护
- 作者：Ghourabi A.;Abbes T.;Bouhoula A.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Honeypot Router;
- routing attack detection;
- routing protocol;
- routing protocol protection;
5.Modeling dependencies in security risk management

机译：在安全风险管理中建模依赖关系
- 作者：Alpcan T.;Bambos N.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Risk modeling;
- risk dependencies;
- risk diffusion;
6.A quantitative approach to assess information security related risks

机译：评估信息安全相关风险的定量方法
- 作者：Romanov A.;Okamoto E.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
7.Greylisting — long term analysis of anti-SPAM effect

机译：灰名单-反垃圾邮件效果的长期分析
- 作者：Sochor T.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
8.Experiments and data analysis of electronic voting system

机译：电子投票系统的实验和数据分析
- 作者：Weldemariam K.;Villafiorita A.;Mattioli A.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Assessment;
- E-Democracy;
- Electronic Voting;
- Experiments;
- Security;
9.A reference model for risk-aware business process management

机译：风险意识业务流程管理参考模型
- 作者：Jakoubi S.;Tjoa S.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Business Process Management;
- Reference Model;
- Risk Management;
- Security Enablement Methods and Tools;
10.Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks

机译：通过互联电网和电信网络的SCADA异构模型进行风险分析
- 作者：Bobbio A.;Ciancamerla E.;Di Blasi S.;Iacomini A.;Mari F.;Melatti I.;Minichino M.;Scarlatti A.;Tronci E.;Terruggia R.;Zendri E.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
11.Permutation-based steganographic channels

机译：基于置换的隐写通道
- 作者：Forest K.;Knight S.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Covert Channels;
- Information hiding;
- Steganographic Channels;
12.A formal methodology for detection of vulnerabilities in an enterprise information system

机译：用于检测企业信息系统中的漏洞的正式方法
- 作者：Sengupta A.;Mazumdar C.;Bagchi A.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
13.SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data

机译：SIDAN：一种专用于软件检测的工具，用于检测对非控制数据的攻击
- 作者：Demay J.-C.;Totel E.;Tronel F.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
14.Re-inforced stealth breakpoints

机译：加强的隐形断点
- 作者：Vasudevan A.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Debugging;
- Malware Analysis;
- Stealth Breakpoints;
15.Data disclosure risk evaluation

机译：数据披露风险评估
- 作者：Trabelsi S.;Salzgeber V.;Bezzi M.;Montagnon G.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
16.Runtime verification of declassification for imperative programs: Formal foundations

机译：命令化程序解密的运行时验证：正式基础
- 作者：Demongeot T.;Mallet J.;Le Traon Y.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Information flow;
- declassification;
- dynamic analysis;
- noninterference;
- security policies;
17.CryptoNET: Secure federation protocol and authorization policies for SMI

机译：CryptoNET：SMI的安全联合协议和授权策略
- 作者：Abbasi A.G.;Muftic S.;Schmolzer G.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Secure Mail Infrastructure;
- Signature;
- Spam;
- Strong Authentication;
- XACML;
18.Formal analysis of attacks for e-voting system

机译：正式分析电子投票系统的攻击
- 作者：Weldemariam K.;Kemmerer R.A.;Villafiorita A.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- astral;
- attack scenario;
- e-voting;
- formal methods;
- pvs;
- specification and verification;
19.A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment

机译：在分布式环境中通过信任协商和工作流进行策略推理的逻辑框架
- 作者：Balbiani P.;Chevalier Y.;El Houri M.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
20.A secured delegation of remote services on IPv6 home networks

机译：IPv6家庭网络上的远程服务的安全委派
- 作者：Preda S.;Toutain L.;Cuppens-Boulahia N.;Cuppens F.;Garcia-Alfaro J.
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
- Access Control;
- Home Networking;
- IPv6;
- Network Security;
21.Blank page

机译：空白页
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
22.Blank page

机译：空白页
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
23.Conference committees

机译：会议委员会
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
24.Copyright page

机译：版权页
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年
25.Foreword

机译：前言
- 会议名称：《Risks and Security of Internet and Systems (CRiSIS), 2009》 | 2009年