The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
ISSN: 1540-7993

Model-Based Verification of Security and Non-Functional Behavior using AADL (Abstract)

Jorgen Hansson , Carnegie Mellon University, Pittsburgh
Bruce Lewis , Carnegie Mellon University, Pittsburgh
Jerome Hugues , LTCI CNRS, Paris
Lutz Wrage , Carnegie Mellon University, Pittsburgh
Peter Feiler , Carnegie Mellon University Carnegie Mellon University, Pittsburgh Pittsburgh
John Morley , Carnegie Mellon University, Pittsburgh
Papers

Open Issues in Secure Domain Name System (DNS) Deployment (Abstract)

Ramaswamy Chandramouli , National Institute of Standards & Technology , Gaithersburg

SAVI: Static-Analysis Vulnerability Indicator (Abstract)

James Walden , Northern Kentucky University, Highland Heights
Maureen Doyle , Northern Kentucky University, Highland Heights
80 ms
(Ver 3.3 (11022016))