The Community for Technology Leaders
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (2012)
Omaha, NE, USA USA
Oct. 25, 2012 to Oct. 27, 2012
ISSN: 1530-2059
ISBN: 978-1-4673-4742-6

[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)

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

Author index (PDF)

pp. 217-218
93 ms
(Ver 3.3 (11022016))