An abstract state machine (ASM) is a mathematical model of the system’s evolving, runtime state. ASMs can be used to faithfully capture the abstract structure and step-wise behaviour of any discrete systems. An easy way to understand ASMs is to see them as defining a succession of states that may follow an initial state. We present a machine-executable model for an Intelligent Vehicle Control S...

extended abstract 1. introduction the term “state” owing to its simultaneous presence in two epistemological and scientific fields named political science and political geography has assumed multiple meanings, applications, natures and synonyms, in a way that it has stirred a kind of chaos and lack of consensus, especially among political geographers. according to various texts, “state” is an a...

As info-communication technology (ICT) rapidly advances, many governments around the world launch initiatives to get their country wired and connected, both nationally and internationally, in order to navigate and compete more effectively in the knowledge age and economy. Many countries are reviewing and restructuring their national network infrastructures, information and media regulations, an...

In recent years numerous advanced malware, aka advanced persistent threats (APT) are allegedly developed by nation-states. The task of attributing an APT to a specific nation-state is extremely challenging for several reasons. Each nation-state has usually more than a single cyber unit that develops such advanced malware, rendering traditional authorship attribution algorithms useless. Furtherm...