Academia

The document was issued by academy or academy organization.
file

Visible to the public Predicting Where Software Systems will be Attacked

Submitted by TimTh on Tue, 08/16/2011 - 8:35pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Security as a System-Level Constraint

Submitted by TimTh on Tue, 08/16/2011 - 8:25pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Run-time Systems for High-Assurance Systems

Submitted by TimTh on Tue, 08/16/2011 - 8:18pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Rule-Based Static Analysis of Network Protocol

Submitted by TimTh on Tue, 08/16/2011 - 8:12pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Support for Supertype Abstraction in JML

Submitted by TimTh on Tue, 08/16/2011 - 4:49pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Demo Movie

Submitted by Yuzuru Tanaka on Wed, 08/10/2011 - 11:51am. Contributor:
file

Visible to the public TOB-level-4

Submitted by Yuzuru Tanaka on Wed, 08/10/2011 - 11:51am. Contributor:
file

Visible to the public TOB-level-3

Submitted by Yuzuru Tanaka on Wed, 08/10/2011 - 11:51am. Contributor: