83 search results - page 10 / 17 » Secured Information Flow for Asynchronous Sequential Process... |
125
click to vote
IFIPTCS
2010
15 years 14 days ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
120
Voted
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
111
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we propose a novel fusion strategy which fuses information from multiple physical traits via a cascading verification process. In the proposed system users are veri...
116
Voted
IJISEC
2008
15 years 2 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
117
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...