scientific article; zbMATH DE number 2100572

zbMATH Open1090.68545MaRDI QIDQ4817044FDOQ4817044

Authors: S. Magill, Bradley Skaggs, M. Papa, John T. Hale 

Publication date: 14 September 2004

Title of this publication is not available (Why is that?)

Recommendations

• Language extensions for programmable security
• Verified interoperable implementations of security protocols
• Formally sound implementations of security protocols with JavaSPI
• scientific article; zbMATH DE number 2110618
• Modular verification of security protocol code by typing

zbMATH Keywords

formal methods

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (5)

• Language extensions for programmable security
• Secure Code Update for Embedded Devices via Proofs of Secure Erasure
• Title not available (Why is that?)
• Modular verification of security protocol code by typing
• Formally sound implementations of security protocols with JavaSPI

Uses Software

• JPAC

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4817044)