Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules

Author(s):  
Christian Rinderknecht
Keyword(s):  
2012 ◽  
Vol E95-B (1) ◽  
pp. 333-336 ◽  
Author(s):  
Seungwon CHOI ◽  
Jung-Hyun PARK ◽  
Seokkwon KIM ◽  
Dong-Jo PARK

2004 ◽  
Vol 37 (2) ◽  
pp. 39 ◽  
Author(s):  
N. R. Edkie ◽  
R. S. Solanki
Keyword(s):  

2021 ◽  
pp. 1-30
Author(s):  
L. Bergonzi ◽  
A. Pirondi ◽  
F. Moroni ◽  
M. Frascio ◽  
M. Avalle

2014 ◽  
Vol 62 (1) ◽  
pp. 158-169 ◽  
Author(s):  
Christian Koller ◽  
Martin Haenggi ◽  
Jorg Kliewer ◽  
Daniel J. Costello

2015 ◽  
Vol 34 (1) ◽  
pp. 102-120 ◽  
Author(s):  
Mi Jeong Kim ◽  
Seo Ryeung Ju ◽  
Lina Lee

Sign in / Sign up

Export Citation Format

Share Document