The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2012)
Omaha, NE, USA USA
Oct. 25, 2012 to Oct. 27, 2012
ISSN: 1530-2059
ISBN: 978-1-4673-4742-6
TABLE OF CONTENTS
Papers

[Back cover] (PDF)

pp. C4

[Title page iii] (PDF)

pp. iii

Table of contents (PDF)

pp. v-vii

Preface (PDF)

pp. viii

Committees (PDF)

pp. ix

Program Committee (PDF)

pp. x-xi

Visual model-driven design, verification and implementation of security protocols (Abstract)

P. Vivoli , Spike Reply, Italy
R. Sisto , Politec. di Torino, Turin, Italy
D. Pozza , Primeur, Italy
A. Pironti , INRIA, Sophia-Antipolis, France
Piergiuseppe Bettassa Copet , Politec. di Torino, Turin, Italy
pp. 62-65

Author index (PDF)

pp. 217-218
89 ms
(Ver )