1490 search results - page 164 / 298 » The Logic of Authentication Protocols |
109
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
113
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
116
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
105
click to vote
ASYNC
1997
IEEE
15 years 4 months ago
1997
IEEE
The realisation of Delay-Insensitive (DI) asynchronous circuits with a CMOS ternary logic is described in this paper. The main advantage of temary logic is the easy realisation of...
121
Voted
SYNTHESE
2010
14 years 7 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...