Some Notes on the Security of the Timed Efficient Stream Loss-Tolerant Authentication Scheme
From MaRDI portal
Recommendations
- Analysing a stream authentication protocol using model checking
- Delayed-key message authentication for streams
- Authenticating multicast streams in lossy channels using threshold techniques
- scientific article; zbMATH DE number 1955804
- Formal analysis of some timed security properties in wireless protocols.
Cited in
(3)
This page was built for publication: Some Notes on the Security of the Timed Efficient Stream Loss-Tolerant Authentication Scheme
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429170)