Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules
2005 ◽
pp. 154-170
Keyword(s):
2012 ◽
Vol E95-B
(1)
◽
pp. 333-336
◽
Keyword(s):
2014 ◽
Vol 62
(1)
◽
pp. 158-169
◽
2015 ◽
Vol 34
(1)
◽
pp. 102-120
◽