461 search results - page 34 / 93 » Developing security protocols by refinement |
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— The General Internet Signaling Transport (GIST) protocol is currently being developed as the base protocol component in the IETF Next Steps In Signaling (NSIS) protocol stack t...
AINA
2011
IEEE
12 years 11 months ago
2011
IEEE
—The advent of distributed and ad-hoc-connected systems such as in Ambient Intelligence applications confronts developers with the question on how to specify QoS- and security po...