554 search results - page 15 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
191
Voted
CSREASAM
2006
15 years 5 months ago
2006
- The Transmission Control Protocol/Internet Protocol (TCP/IP) is combination of different protocols at various layers. TCP/IP is the basic communication language or protocol of th...
127
Voted
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
140
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
135
Voted
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
121
Voted
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...