Timed automata are a common formalism for the verification of concurrent systems subject to
timing constraints. They extend finite-state automata with clocks, that constrain the system …

With the development of the Internet of Things (IoT) and the Internet, new kinds of services
based on IoT devices will benefit everyone. As a key step in achieving a complex business …

Content-Centric Networking (CCN) is an alternative to host-centric networking exemplified
by today's Internet. CCN emphasizes content distribution by making content directly …

Information-Centric Networking (ICN) is an emerging networking paradigm where named
and routable data (content) is the focal point. Users send explicit requests (interests) which …

We propose a method for engineering security protocols that are aware of timing aspects.
We study a simplified version of the well-known Needham Schroeder protocol and the …

While in-network caching is an essential feature of Information Centric Networks (ICN) for
improved content dissemination and reducing the bandwidth consumption at the core of the …

We propose a method for engineering security protocols that are aware of timing aspects.
We study a simplified version of the well-known Needham Schroeder protocol and the …

With users' explosively increasing needs for online data, current IP-based or host-based
Internet architecture is becoming insufficient and outdated gradually. Named Data …

In multilevel systems, it is important to avoid unwanted indirect information flow from higher
levels to lower levels, namely, the so-called covert channels. Initial studies of information …

In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model.
Each extension considers a more realistic setting, closer to the real world, thus providing a …