4211 search results - page 370 / 843 » A formal approach to MASQ |
160
Voted
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
206
click to vote
EUROMICRO
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
204
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
187
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
230
click to vote
ICFEM
2003
Springer
16 years 2 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...