Computer Science: Recent submissions
Now showing items 66-70 of 297
-
Verified programming with explicit coercions
(University of St Andrews, 2019-06-26) - ThesisType systems have proved to be a powerful means of specifying and proving important program invariants. In dependently typed programming languages types can depend on values and hence express arbitrarily complicated p ... -
A seamless framework for formal reasoning on specifications : model derivation, verification and comparison
(University of St Andrews, 2019-06-26) - ThesisWhile formal methods have been demonstrated to be favourable to the construction of reliable systems, they also present us with several limitations. Most of the efforts regarding formal reasoning are concerned with model ... -
Defence against Denial of Service (DoS) attacks using Identifier-Locator Network Protocol (ILNP) and Domain Name System (DNS)
(University of St Andrews, 2019-06-26) - ThesisThis research considered a novel approach to network security by combining a new networking architecture based on the Identifier-Locator Network Protocol (ILNP) and the existing Domain Name System (DNS). Specifically, the ... -
Transforming the museum-community nexus with technology : a virtual museum infrastructure for participatory engagement and management
(University of St Andrews, 2018-12-06) - ThesisMuseums play an important role in society as the custodians of heritage, and advances in technology have brought about opportunities for curating, preserving and disseminating heritage through virtual museums. However, ... -
Detecting cloud virtual network isolation security for data leakage
(University of St Andrews, 2019-06-26) - ThesisThis thesis considers information leakage in cloud virtually isolated networks. Virtual Network (VN) Isolation is a core element of cloud security yet research literature shows that no experimental work, to date, has been ...