Fortezza

Capstone layihəsindəki alqoritmlərin reallaşdırılması üçün PCMCIA-kart, ABŞ Milli Təhlükəsizlik Agentliyi tərəfindən yaradılmışdır, əvvəllər “Tessera” adlanırdı.
Formal security policy model
Forward recovery