Sciweavers

2947 search results - page 64 / 590
» The timely token protocol
Sort
View
ICCNMC
2005
Springer
15 years 5 months ago
A Novel Multi-path Routing Protocol
The paper advocates a different view of routing protocols according to technology trends nowadays. A Link State Multi-Path routing protocol, LSMP, is thereby introduced. This new h...
Xiaole Bai, Marcin Matuszewski, Shuping Liu, Raimo...
CORR
2011
Springer
216views Education» more  CORR 2011»
14 years 7 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
EUROCRYPT
2003
Springer
15 years 5 months ago
Fair Secure Two-Party Computation
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...
Benny Pinkas
ERSHOV
2003
Springer
15 years 5 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
DIALM
2004
ACM
117views Algorithms» more  DIALM 2004»
15 years 3 months ago
A resource--efficient time estimation for wireless sensor networks
We study the problem of providing a sensor node with an accurate estimate of the current time, from a novel prospective which is complementary to the well
Daniela Tulone