Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Eisler
RPCSEC_GSS Protocol Specification
Related publications
Routing Bridges (RBridges): Base Protocol Specification
Host Access Protocol (HAP) Specification: Version 2
Inter-Domain Policy Routing Protocol Specification: Version 1
Internet Reliable Transaction Protocol Functional and Interface Specification
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification
A Generic Graphical Specification Environment for Security Protocol Modelling
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
Neda's Efficient Mail Submission and Delivery (EMSD) Protocol Specification Version 1.3
