The Community for Technology Leaders
2013 International Conference on Risks and Security of Internet and Systems (CRiSIS) (2011)
Timisoara
Sept. 26, 2011 to Sept. 28, 2011
ISBN: 978-1-4577-1890-8
TABLE OF CONTENTS
Papers

Title page (PDF)

pp. 1

Foreword (PDF)

Simon Foley , University College Cork, Ireland
Marius Minea , Politehnica University of Timisoara, Romania
Frederic Cuppens , TELECOM Bretagne, France
pp. 1

Optimal voting strategy against rational attackers (Abstract)

Shangping Ren , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
Li Wang , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
Zheng Li , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
K. Kwiaty , Cyber Sci. Branch, Air Force Res. Lab., Rome, NY, USA
pp. 1-8

A security mechanism to increase confidence in m-transactions (Abstract)

D. Pequegnot , Secure Smart Devices - XLIM Labs., Univ. of Limoges, Limoges, France
A. Thomas , Secure Smart Devices - XLIM Labs., Univ. of Limoges, Limoges, France
T. Tigeon , Secure Smart Devices - XLIM Labs., Univ. of Limoges, Limoges, France
J. Iguchi-Cartigny , Secure Smart Devices - XLIM Labs., Univ. of Limoges, Limoges, France
Jean-Louis Lanet , Secure Smart Devices - XLIM Labs., Univ. of Limoges, Limoges, France
L. Cart-Lamy , Secure Smart Devices - XLIM Labs., Univ. of Limoges, Limoges, France
pp. 1-8

ADSR: Authenticated DSR (Abstract)

J. L. Salazar , Commun. Technol. Group, Univ. of Zaragoza, Zaragoza, Spain
J. J. Piles , Commun. Technol. Group, Univ. of Zaragoza, Zaragoza, Spain
J. L. Tornos , Commun. Technol. Group, Univ. of Zaragoza, Zaragoza, Spain
pp. 1-8

An energy and memory-efficient key management scheme for mobile heterogeneous sensor networks (Abstract)

C. Pastrone , Pervasive Technol. Res. Area, Ist. Superiore Mario Boella (ISMB), Turin, Italy
L. Lavagno , Electron. Dept., Politec. di Torino, Turin, Italy
M. A. Spirito , Pervasive Technol. Res. Area, Ist. Superiore Mario Boella (ISMB), Turin, Italy
S. U. Khan , Electron. Dept., Politec. di Torino, Turin, Italy
pp. 1-8
Papers

Trust based interdependency weighting for on-line risk monitoring in interdependent critical infrastructures (Abstract)

F. Caldeira , CISUC - DEI, Univ. of Coimbra, Coimbra, Portugal
E. Monteiro , CISUC - DEI, Univ. of Coimbra, Coimbra, Portugal
J. Aubert , Centre de Rech. Public Henri Tudor, Luxembourg City, Luxembourg
D. Khadraoui , Centre de Rech. Public Henri Tudor, Luxembourg City, Luxembourg
T. Schaberreiter , Centre de Rech. Public Henri Tudor, Luxembourg City, Luxembourg
P. Simoes , CISUC - DEI, Univ. of Coimbra, Coimbra, Portugal
pp. 1-7

A trust model for capability delegation in federated policy systems (Abstract)

S. N. Foley , Dept. of Comput. Sci., Univ. Coll. Cork, Cork, Ireland
K. Feeney , Intell. Syst. Lab., Trinity Coll., Dublin, Ireland
R. Brennan , Intell. Syst. Lab., Trinity Coll., Dublin, Ireland
pp. 1-8

QoS-aware firewall session table (Abstract)

D. Minuta , Mil. Tech. Acad., Romania
C. Fraboul , INPT-ENSEEIHT, Univ. de Toulouse, Toulouse, France
A. A. El Kalam , INPT-ENSEEIHT, Univ. de Toulouse, Toulouse, France
M. Mostafa , INPT-ENSEEIHT, Univ. de Toulouse, Toulouse, France
pp. 1-7

SEWSEC: A Secure Web Service Composer using Information Flow Control (Abstract)

T. Abdellatif , Univ. of Sousse, Sousse, Tunisia
H. Zorgati , Univ. of Sousse, Sousse, Tunisia
pp. 1-8

Cost-effective enforcement of UCON (Abstract)

L. Krautsevich , Dept. of Comput. Sci., Univ. of Pisa, Pisa, Italy
A. Lazouski , Ist. di Inf. e Telematica, Consiglio Naz. delle Ric., Pisa, Italy
A. Yautsiukhin , Ist. di Inf. e Telematica, Consiglio Naz. delle Ric., Pisa, Italy
F. Martinelli , Ist. di Inf. e Telematica, Consiglio Naz. delle Ric., Pisa, Italy
pp. 1-8

A hierarchy of knowledge for the formal analysis of security-sensitive business processes (Abstract)

S. Marchesini , Dipt. di Inf., Univ. di Verona, Verona, Italy
L. Vigano , Dipt. di Inf., Univ. di Verona, Verona, Italy
pp. 1-10

New framework for policy support for Mobile Grid Services (Abstract)

M. Alfawair , Fac. of Sci. & Inf. Technol., Al-Zaytoonah Univ., Jordan
H. Janicke , Fac. of Technol., De Montfort Univ., Leicester, UK
T. Alwada'n , Fac. of Technol., De Montfort Univ., Leicester, UK
O. Aldabbas , Fac. of Technol., Al- Balqa Appl. Univ., Jordan
pp. 1-6

On the security of the terminal operations for container shipping in multimodal transport: The SIS-TEMA project (Abstract)

L. Coppolino , Dept. of Technol., Univ. of Naples Parthenope, Naples, Italy
F. Oliviero , Dept. of Technol., Univ. of Naples Parthenope, Naples, Italy
V. Formicola , Dept. of Technol., Univ. of Naples Parthenope, Naples, Italy
S. D'Antonio , Dept. of Technol., Univ. of Naples Parthenope, Naples, Italy
L. Romano , Dept. of Technol., Univ. of Naples Parthenope, Naples, Italy
pp. 1-6

Operational security assurance evaluation in open infrastructures (Abstract)

A. Hecker , Telecom ParisTech, Paris, France
B. Marquet , Alcatel-Lucent Bell Labs., France
S. Dubus , Alcatel-Lucent Bell Labs., France
T. Kanstren , VTT Tech. Res. Center, Espoo, Finland
R. Savola , VTT Tech. Res. Center, Espoo, Finland
S. Haddad , Telecom ParisTech, Oppida, France
pp. 1-6

Behaviour-based virus detection system using Interval Temporal Logic (Abstract)

A. Cau , Software Technol. Res. Lab. (STRL), De Montfort Univ., Leicester, UK
S. Al Amro , Software Technol. Res. Lab. (STRL), De Montfort Univ., Leicester, UK
pp. 1-6
93 ms
(Ver )