Development of security-critical software with Spark/Ada at secunet PDF
Preview Development of security-critical software with Spark/Ada at secunet
Development of security-critical software with Spark/Ada at secunet Stefan Berghofer 30.5.2017 Agenda 1. Introduction 2. A Link between Why3 and Isabelle 3. Applications 4. Conclusion Page2 30.5.2017 Developmentofsecurity-criticalsoftware Agenda 1. Introduction 2. A Link between Why3 and Isabelle 3. Applications 4. Conclusion Page3 30.5.2017 Developmentofsecurity-criticalsoftware One of Germany’s leading providers of IT security Security partner of the Federal Republic of Germany More than 400 employees Major shareholder is Giesecke & Devrient, Munich Business Units: Public sector I Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG Page4 30.5.2017 Developmentofsecurity-criticalsoftware Security partner of the Federal Republic of Germany More than 400 employees Major shareholder is Giesecke & Devrient, Munich Business Units: Public sector I Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG One of Germany’s leading providers of IT security Page4 30.5.2017 Developmentofsecurity-criticalsoftware More than 400 employees Major shareholder is Giesecke & Devrient, Munich Business Units: Public sector I Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG One of Germany’s leading providers of IT security Security partner of the Federal Republic of Germany Page4 30.5.2017 Developmentofsecurity-criticalsoftware Major shareholder is Giesecke & Devrient, Munich Business Units: Public sector I Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG One of Germany’s leading providers of IT security Security partner of the Federal Republic of Germany More than 400 employees Page4 30.5.2017 Developmentofsecurity-criticalsoftware Business Units: Public sector I Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG One of Germany’s leading providers of IT security Security partner of the Federal Republic of Germany More than 400 employees Major shareholder is Giesecke & Devrient, Munich Page4 30.5.2017 Developmentofsecurity-criticalsoftware Public sector I Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG One of Germany’s leading providers of IT security Security partner of the Federal Republic of Germany More than 400 employees Major shareholder is Giesecke & Devrient, Munich Business Units: Page4 30.5.2017 Developmentofsecurity-criticalsoftware Public Authorities, Homeland Security, Defence Business sector I Automotive, Critical Infrastructures More details: www.secunet.com About secunet Security Networks AG One of Germany’s leading providers of IT security Security partner of the Federal Republic of Germany More than 400 employees Major shareholder is Giesecke & Devrient, Munich Business Units: Public sector I Page4 30.5.2017 Developmentofsecurity-criticalsoftware
Description:The list of books you might like
