Broadcast, Denial-of-Service, and Secure Communication

Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis

doi:10.1007/978-3-642-38613-8_28

Cited by 25 publications

(26 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The broadcast Quality Calculus of [29] deals with the problem of denial-ofservice by means of selective input actions. It inspects the structure of messages by associating specific contracts to inputs, but does not provide any mean to change the input contracts during execution.…”

Section: Discussion and Related Workmentioning

confidence: 99%

On the Power of Attribute-Based Communication

Alrahman

Nicola

Loreti

2016

Formal Techniques for Distributed Objects, Components, and Systems

View full text Add to dashboard Cite

Abstract. In open systems, i.e. systems operating in an environment that they cannot control and with components that may join or leave, behaviors can arise as side effects of intensive components interaction. Finding ways to understand and design these systems and, most of all, to model the interactions of their components, is a difficult but important endeavor. To tackle these issues, we present AbC , a calculus for attributebased communication. An AbC system consists of a set of parallel agents each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interactions among agents are dynamically established by taking into account "connections" as determined by predicates over the attributes of agents. First, the syntax and the semantics of the calculus are presented, then expressiveness and effectiveness of AbC are demonstrated both in terms of modeling scenarios featuring collaboration, reconfiguration, and adaptation and of the possibility of encoding channel-based interactions and other interaction patterns. Behavioral equivalences for AbC are introduced for establishing formal relationships between different descriptions of the same system.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

On the Power of Attribute-Based Communication

Alrahman

Nicola

Loreti

2016

Formal Techniques for Distributed Objects, Components, and Systems

View full text Add to dashboard Cite

show abstract

“…Vigo et al [37] proposed a calculus for wireless-based cyber-physical (CPS) systems endowed with a theory that allows modelling and reasoning about cryptographic primitives, together with explicit notions of communication failure and unwanted communication. One of the main goal of the paper is a faithful representation denial-of-service.…”

Section: Conclusion Related and Future Workmentioning

confidence: 99%

“…It also lacks a clear distinction between physical components (sensor and actuators) and logical ones (processes). Compared to [37], paper [39] introduces a static network topology and enrich the theory with an harmony theorem.…”

Section: Conclusion Related and Future Workmentioning

confidence: 99%

A Semantic Theory of the Internet of Things

Lanotte

Merro

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with smart devices, via short-range and Internet channels. The calculus is equipped with a standard notion of bisimilarity which is a fully abstract characterisation of a well-known contextual equivalence. We use our semantic proof-methods to prove run-time properties as well as system equalities of non-trivial IoT systems.

show abstract

“…They are [10], [11], and [12], as discussed next. Each builds on the Quality Calculus [9], a process algebra in the family of CCS and the π-calculus, intended to study the behaviour of software components in distributed systems when the communication has vulnerabilities; similar to the type of system considered at the end of this paper.…”

Section: Related Workmentioning

confidence: 99%

“…In particular, one motivation for the Quality Calculus is seeking to ensure that messages are correctly received, and denial of service attacks are a major challenge in this context. In [10], the authors introduce the Applied Quality Calculus which extends the Quality Calculus. The Applied Quality Calculus is used in modelling secure systems which must operate in the context of low computational power devices which communicate by broadcast communication in a challenging computational context where communication failures cannot be ignored.…”

Section: Related Workmentioning

confidence: 99%

Abstract Interpretation of PEPA Models

Gilmore

Hillston

Zoń

2015

Semantics, Logics, and Calculi

View full text Add to dashboard Cite

General rightsCopyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policyThe University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact openaccess@ed.ac.uk providing details, and we will remove access to the work immediately and investigate your claim. Abstract. This paper relates the fluid-flow semantics of the stochastic process algebra PEPA (Performance Evaluation Process Algebra) to the static analysis technique of abstract interpretation. The explanation in the paper is illustrated through the example of a distributed denial of service (DDoS) attack which is being launched against a server. DDoS attacks are mounted by a large population of attackers, who are coordinating and working together in attacking a specific server. The scale of the attack is crucial to its success, but the resulting large number of states in the system makes it difficult to model and analyse using the conventional discrete-state interpretation of PEPA.

show abstract

Broadcast, Denial-of-Service, and Secure Communication

Cited by 25 publications

References 22 publications

On the Power of Attribute-Based Communication

On the Power of Attribute-Based Communication

A Semantic Theory of the Internet of Things

Abstract Interpretation of PEPA Models

Contact Info

Product

Resources

About