22 search results - page 2 / 5 » The layered games framework for specifications and analysis ... |
DSOM
2006
Springer
13 years 9 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
DRM
2005
Springer
13 years 10 months ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
PKDD
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Analysis of privacy-sensitive data in a multi-party environment often assumes that the parties are well-behaved and they abide by the protocols. Parties compute whatever ...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Cognitive networks are the latest progression of cognitive functionality into the networking stack, an effort which began with a layer one and two focus on cognitive radios, an...