Software Security

CompSci 725 S2C 06
Clark Thomborson
Handout 2: Selection of Oral Presentations

Version 2.41: 20 July 2006

Before the first round:

Actions in Round 1:

The instructor describes each paper y on the list of suggested articles. There are actions in two cases:

Postconditions for Round 1:

Actions in Round 2:

Each student x, in assigned order starting with student #1, chooses any one of the following actions:

  1. If ( |{p : Category(p) > 0}| < M ) then student x may select a paper y in category 0: {

Category(y) = 1; Paper(x) = y; Type(x) = 1;

If paper y is not on recommended list, then student must give full bibliographic detail to the instructor.  Before the next Round begins, the instructor will approve/disapprove this paper.  If the instructor disapproves then { Paper(x) = 0; Type(x) = 0; }

}

  2. Student x may select a paper y in category 1: { Category(y) = 2; Paper(x) = y; Type(x) = 2; }

Actions in Rounds 3, ..., 10:

Each student x, in assigned order starting with student #1, must choose one of the following actions.

Postconditions for Rounds > 2:

Termination Condition:

Note: