Learn More
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about security protocols. We show how to specify part of the Needham-Schroeder protocol using temporal logics of knowledge(More)
We provide the first econometric study of efficiency for a member of the Mondragon group of worker cooperatives. Eroski is a retail distribution chain and, most unusually, there are two distinct types of hypermarkets: (i) cooperatives with significant employee ownership and voice; and (ii) GESPAs with modest employee ownership and limited voice. For(More)
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we investigate the application of temporal logics of knowledge to the specification and verification of security protocols. We show how typical assumptions relating to(More)
Research on trust management systems for wireless sensor networks is still at a very early stage and few works have done so far. It seems that for those works which deal with the topic general features of how these systems should be are not clearly identified. In this paper we try to identify the main features that a trust management system should have and(More)