Antonio Cerone  Home/Search
Context
Related
| crpit.com/confpape...RPITV21ACerone.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: crpit.com/Vol21 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ASN.1 (Abstract Syntax Notation One) has been increasingly used in defining the data structures used in internet security protocols. In this paper we present a framework for translating ASN.1 specification into Z. We use a restricted version of ASN.1, which is however sufficiently powerful to specify important network communication protocols. Finally, we present an example of translation based on the Cryptographic Message Syntax of S/MIME. (Update)
Similar documents based on text: More All
0.7: A Layman's Guide to a Subset of ASN.1, BER, and DER - Kaliski, Jr. (1993) (Correct)
0.6: A Database System Based on ASN.1: Its System.. - Harumoto, TSUKAMOTO.. (Correct)
0.5: Linking a Medical Vocabulary to a Clinical Data Model using.. - Huff, al. (Correct)
BibTeX entry: (Update)
@misc{ cerone-representing,
author = "Antonio Cerone",
title = "Representing ASN.1 in Z",
url = "citeseer.ist.psu.edu/cerone03representing.html" }
Citations not processed or no citations identified.
Documents on the same site (http://crpit.com/Vol21.html): More
A Secure Mental Poker Protocol Over The Internet - Weiliang Zhao Vijay (Correct)
Development of the software infrastructure for a.. - Scholz, Grigg.. (Correct)
Implementing Role Based Access Control for Federated.. - Taylor, Murty (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC