2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424444984

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A reference model for risk-aware business process management

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411973 ◽

2009 ◽

Cited By ~ 11

Author(s):

Stefan Jakoubi ◽

Simon Tjoa

Keyword(s):

Business Process ◽

Business Process Management ◽

Process Management ◽

Reference Model

Download Full-text

Experiments and data analysis of electronic voting system

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411972 ◽

2009 ◽

Cited By ~ 4

Author(s):

Komminist Weldemariam ◽

Adolfo Villafiorita ◽

Andrea Mattioli

Keyword(s):

Data Analysis ◽

Electronic Voting ◽

Voting System ◽

Electronic Voting System

Download Full-text

Title page

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5412037 ◽

2009 ◽

Keyword(s):

Title Page

Download Full-text

Modeling dependencies in security risk management

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411969 ◽

2009 ◽

Cited By ~ 21

Author(s):

Tansu Alpcan ◽

Nick Bambos

Keyword(s):

Risk Management ◽

Security Risk ◽

Security Risk Management

Download Full-text

CryptoNET: Secure federation protocol and authorization policies for SMI

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411981 ◽

2009 ◽

Author(s):

Abdul Gahafoor Abbasi ◽

Sead Muftic ◽

Gernot Schmolzer

Keyword(s):

Authorization Policies

Download Full-text

Author index

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411966 ◽

2009 ◽

Download Full-text

Runtime verification of declassification for imperative programs: Formal foundations

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411980 ◽

2009 ◽

Author(s):

Thomas Demongeot ◽

Julien Mallet ◽

Yves Le Traon

Keyword(s):

Runtime Verification

Download Full-text

Conference committees

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411988 ◽

2009 ◽

Keyword(s):

Conference Committees

Download Full-text

Formal analysis of attacks for e-voting system

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411982 ◽

2009 ◽

Cited By ~ 2

Author(s):

Komminist Weldemariam ◽

Richard A. Kemmerer ◽

Adolfo Villafiorita

Keyword(s):

Formal Analysis ◽

Voting System

Download Full-text

Data disclosure risk evaluation

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) ◽

10.1109/crisis.2009.5411979 ◽

2009 ◽

Cited By ~ 15

Author(s):

Slim Trabelsi ◽

Vincent Salzgeber ◽

Michele Bezzi ◽

Gilles Montagnon

Keyword(s):

Risk Evaluation ◽

Disclosure Risk

Download Full-text

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A reference model for risk-aware business process management

Experiments and data analysis of electronic voting system

Title page

Modeling dependencies in security risk management

CryptoNET: Secure federation protocol and authorization policies for SMI

Author index

Runtime verification of declassification for imperative programs: Formal foundations

Conference committees

Formal analysis of attacks for e-voting system

Data disclosure risk evaluation

2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009)
Latest Publications