scientific article; zbMATH DE number 1538051
From MaRDI portal
Publication:4518908
zbMath0965.68053MaRDI QIDQ4518908
Somesh Jha, Will Marrero, Edmund M. Clarke
Publication date: 5 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)
Related Items (3)
POR for security protocol equivalences. Beyond action-determinism ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Approximate partial order reduction
Uses Software
This page was built for publication:
