scientific article; zbMATH DE number 6027824
From MaRDI portal
Publication:5389067
DOI10.4230/LIPIcs.RTA.2011.11zbMath1236.94073MaRDI QIDQ5389067
Bruno Conchinha, Carlos Caleiro, David A. Basin
Publication date: 24 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_069d.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Authentication, digital signatures and secret sharing (94A62)
Related Items (4)
Unnamed Item ⋮ Computing knowledge in equational extensions of subterm convergent theories ⋮ A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ FAST
Uses Software
This page was built for publication:
