894 search results - page 65 / 179 » Secure Implementation of Channel Abstractions |
DIMVA
2010
13 years 11 months ago
2010
Abstract. In today's world wide web hundreds of thousands of companies use SSL to protect their customers' transactions from potential eavesdroppers. Recently, a new atta...
ETRICS
2006
14 years 1 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
RTAS
2011
IEEE
13 years 1 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Due to peer instability and time-varying peer upload bandwidth availability in live peer-to-peer (P2P) streaming channels, it is preferable to provision adequate levels ...