Struif, B.B.Struif2022-03-032022-03-031994https://publica.fraunhofer.de/handle/publica/184090de005004SECOSTAR - Modellierung sicherheitssensitiver Chipkarten-Anwendungen mit STARCOS-SmartCArdsjournal article