117 search results - page 5 / 24 » Anti-Sniffing in Unbounded Networks |
CBMS
2008
IEEE
14 years 4 months ago
2008
IEEE
Paper-based folders have been widely used to coordinate cares in medical-social networks, but they introduce some burning issues (e.g. privacy protection, remote access to the fol...
FCT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
ISORC
2006
IEEE
14 years 3 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
ENTCS
2008
13 years 9 months ago
2008
In Kahn process network (KPN), the processes (nodes) communicate by unbounded unidirectional FIFO channels (arcs), with the property of non-blocking writes and blocking reads on t...