Search
Now showing items 1-6 of 6
(Research report / Forskningsrapport, 2016)
Railway systems designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. ...
(Research report / Forskningsrapport, 2016)
We provide a non-interleaving operational semantics for the pi-calculus as asynchronous transition systems, which generalizes the standard interleaving structural operational semantics and unfolds to standard, stable prime ...
(Research report / Forskningsrapport, 2016)
The rapidly increasing pervasiveness and integration of computers in human and animal society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs ...
(Research report / Forskningsrapport, 2016)
Identity and authentication solutions often lack usability and scalability, or do not provide high enough authentication assurance. The concept of Lucidman (Local User-Centric Identity Management) is an approach to providing ...
(Research report / Forskningsrapport / PublishedVersionAcceptedVersionPublishedVersionAcceptedVersion; Peer reviewed, 2016)
The rapidly increasing pervasiveness and integration of computers in human and animal society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs ...
(Research report / Forskningsrapport / PublishedVersion, 2016)
Client platform infection poses a significant threat to secure user authentication. Com- bining vulnerable client platforms with special security devices, as often the case in e- banking, can increase significantly the ...