3239 search results - page 178 / 648 » A Logical Process Calculus |
123
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
123
click to vote
FORTE
2007
15 years 4 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
108
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
134
click to vote
DKE
2006
15 years 3 months ago
2006
Many kinds of news report provide information about events. For example, business news reports in the area of mergers and acquisitions, provide information about events such as &q...