Workshop on Issues in the Theory of Security (WITS '00)