The Community for Technology Leaders
Software Engineering for Secure Systems, International Workshop on (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISBN: 0-7695-2952-6
TABLE OF CONTENTS
Papers

On the Secure Software Development Process: CLASP and SDL Compared (Abstract)

Johan Gregoire , K.U. Leuven, Belgium
Koen Buyens , K.U. Leuven, Belgium
Bart De Win , K.U. Leuven, Belgium
Riccardo Scandariato , K.U. Leuven, Belgium
Wouter Joosen , K.U. Leuven, Belgium
pp. 1

Supporting Security Monitor-Aware Development (Abstract)

Dries Vanoverberghe , K.U. Leuven, Belgium
Frank Piessens , K.U. Leuven, Belgium
pp. 2

An Analysis of the Security Patterns Landscape (Abstract)

Thomas Heyman , K.U. Leuven, Belgium
Koen Yskout , K.U. Leuven, Belgium
Riccardo Scandariato , K.U. Leuven, Belgium
Wouter Joosen , K.U. Leuven, Belgium
pp. 3

A Workflow-Based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment (Abstract)

Kun Xiao , Illinois Institute of Technology, USA
Nianen Chen , Illinois Institute of Technology, USA
Shangping Ren , Illinois Institute of Technology, USA
Limin Shen , Illinois Institute of Technology, USA
Xianhe Sun , Illinois Institute of Technology, USA
Kevin Kwiat , Air Force Research Laboratory
Michael Macalik , Air Force Research Laboratory
pp. 4

Automated Test Generation for Access Control Policies via Change-Impact Analysis (Abstract)

Evan Martin , North Carolina State University, USA
Tao Xie , North Carolina State University, USA
pp. 5

Building Anti-Phishing Browser Plug-Ins: An Experience Report (Abstract)

Thomas Raffetseder , Technical University of Vienna, Austria
Engin Kirda , Technical University of Vienna, Austria
Christopher Kruegel , Technical University of Vienna, Austria
pp. 6

A Smart Fuzzer for x86 Executables (Abstract)

Andrea Lanzi , Universita degli Studi di Milano, Italy
Lorenzo Martignoni , Universita degli Studi di Milano, Italy
Mattia Monga , Universita degli Studi di Milano, Italy
Roberto Paleari , Universita degli Studi di Milano, Italy
pp. 7

Towards a Requirements-Driven Workbench for Supporting Software Certification and Accreditation (Abstract)

Seok-Won Lee , University of North Carolina at Charlotte, USA
Robin A. Gandhi , University of North Carolina at Charlotte, USA
Siddharth Wagle , University of North Carolina at Charlotte, USA
pp. 8

Using Automated Fix Generation to Secure SQL Statements (Abstract)

Stephen Thomas , North Carolina State University, USA
Laurie Williams , North Carolina State University, USA
pp. 9

A Threat Model Driven Approach for Security Testing (Abstract)

Linzhang Wang , Nanjing University, China
Eric Wong , University of Texas at Dallas, USA
Dianxiang Xu , North Dakota State University, USA
pp. 10
80 ms
(Ver 3.3 (11022016))