Sciweavers

982 search results - page 58 / 197
» A Layered Analysis of Consensus
Sort
View
ACISP
2005
Springer
15 years 11 months ago
Analysis of the HIP Base Exchange Protocol
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
Tuomas Aura, Aarthi Nagarajan, Andrei Gurtov
ATAL
2005
Springer
15 years 11 months ago
Formal Modeling and Analysis of Organizations
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
Egon L. van den Broek, Catholijn M. Jonker, Alexei...
INFOCOM
2003
IEEE
15 years 11 months ago
Analysis on Packet Resequencing for Reliable Network Protocols
Abstract— Protocols such as TCP require packets to be accepted (i.e., delivered to the receiving application) in the order they are transmitted at the sender. Packets are sometim...
Ye Xia, David N. C. Tse
ISW
2000
Springer
15 years 9 months ago
Performance Analysis of Secure Web Server Based on SSL
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
Xiaodong Lin, Johnny W. Wong, Weidong Kou
WCE
2007
15 years 7 months ago
Computer Applications to Structural Analysis of Pavements
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
T. Akhlaghi