263 search results - page 38 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
Web services specification provides an open standard for the distributed service oriented architecture. It is widely used in Internet and pervasive networks supporting wireless m...
ADHOCNOW
2005
Springer
14 years 1 months ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
CAIP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Cardiac dynamics suppression is a main issue for visual improvement and computation of tissue mechanical properties in IntraVascular UltraSound (IVUS). Although in recent...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
—A mobile robot can be a rather significant source of noise: noisy fans cool onboard computers, motors are spinning, rubber wheels are squeaking against the floor, and mechanical...
LCN
2005
IEEE
14 years 1 months ago
2005
IEEE
Network Address Translation (NAT) is often used in routers that connect home and small-office networks to the Internet. Unfortunately, NAT may not interoperate well with many pro...