منابع مشابه
A Formal Semantics for Protocol Narrations
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol’s participants. Protocol narrations have also been informally “turned into” a number of formal protocol descriptions, e.g., using the spi-calculus. In this paper, we propose a direct formal ...
متن کاملFormal Semantics and Automated Verification for the Border Gateway Protocol
Traffic is routed across the Internet by Autonomous Systems, or ASes, such as ISPs, corporations, and universities. To route traffic reliably and securely, ASes must configure their Border Gateway Protocol (BGP) routers to implement policies restricting how routing announcements can be used and exchanged with other ASes. It is challenging to correctly implement BGP policies in lowlevel configur...
متن کاملFormal Semantics for AUML Agent Interaction Protocol Diagrams
In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net comp...
متن کاملFormal Semantics & Verification for the Border Gateway Protocol
Internet Service Providers (ISPs) use the Border Gateway Protocol (BGP) to exchange routing information. ISPs use a variety of formalisms, checkers, and simulators to avoid BGP configuration errors. However, these tools are based on simplified semantics of BGP or no semantics at all, and therefore they cannot guarantee the absence of router misconfigurations. Meanwhile, BGP router misconfigurat...
متن کاملA Formal Semantics for SPKI
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions. We discuss both extensions that our semantics supports and extensions that it cautions against.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.09.005