Lafayette / Seattle / Washington DC / Minneapolis / Leuven / Atlantic City / Cambridge / Toronto / Tampa / San Diego / Chicago / San Jose / /
Company
Visualization Diagram Display Interface / Microsoft Corporation / Microsoft Press / SecSTAR / Riverbed Technology / /
Country
Belgium / United States / Canada / /
Currency
USD / / /
Facility
University of Wisconsin Madison / University of Wisconsin / /
IndustryTerm
software system / network communications / system utilities / unmodified production systems / software security / web browser / source code analysis tools / in-depth software security assessment / data collection tools / distributed systems / software systems / web-based interface / mining / computing / external services / costly interprocess communications / /
OperatingSystem
Linux / Microsoft Windows / /
Organization
National Science Foundation / Department of Energy / Software Security Structure and Properties Wenbin Fang Barton P. Miller James A. Kupsch Computer Sciences Department / FPVA MTM / University of Wisconsin Madison / University of Wisconsin / /
Person
James A. Kupsch / Navigate / Figure / Barton P. Miller James / /
Graphviz / Microsoft Corporation Portable Audio Device / /
ProgrammingLanguage
C / XML / php / DC / JavaScript / C++ / /
ProvinceOrState
New Jersey / Wisconsin / Minnesota / Illinois / Indiana / Florida / California / Massachusetts / Ontario / /
Technology
XML / relational database system / Linux / IP / API / UDP / shared memory / Vector Graphics / client/server system / data mining / animation / client/server / /
Automated Tracing and Visualization of Software Security Structure and Properties Wenbin Fang Barton P. Miller James A. Kupsch Computer Sciences Department, University of Wisconsin Madison, WI, USA