Skip to content

A Mechanism for Deriving Specifications of Security Functions in the CC Framework.

Jussipekka Leiwo

VenueCDEXA
Year1999
ProceedingsDEXA

Browse the full DEXA paper archive.