Sciweavers

4305 search results - page 394 / 861
» Analysing Protocol Implementations
Sort
View
AINA
2008
IEEE
16 years 1 months ago
Towards a Usenet-Like Discussion System for Users of Disconnected MANETs
Applications that rely on the publish-subscribe model (such as those dedicated to news or event distribution) require a communication model whereby information can flow towards a...
Julien Haillot, Frédéric Guidec
COLCOM
2007
IEEE
16 years 1 months ago
Secure peer-to-peer networks for trusted collaboration
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
Kevin W. Hamlen, Bhavani M. Thuraisingham
CSFW
2007
IEEE
16 years 1 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet
DFT
2007
IEEE
95views VLSI» more  DFT 2007»
16 years 1 months ago
Fault Tolerant Source Routing for Network-on-Chip
This paper presents a new routing protocol of network-on-chip(Noc) called ‘Source Routing for Noc’(SRN) for fault tolerant communication of Systems-on-chip(Soc). The proposed ...
Young Bok Kim, Yong-Bin Kim
ICC
2007
IEEE
16 years 1 months ago
Measurement and Evaluation of ENUM Server Performance
Abstract—ENUM is a DNS-based protocol standard for mapping E.164 telephone numbers to Internet Uniform Resource Identifiers (URIs). It places unique requirements on the existing...
Charles Shen, Henning Schulzrinne