741 search results - page 50 / 149 » Abstract Machines for Communication Security |
CASSIS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
GLOBECOM
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract--Previous simulations have shown substantial performance gains can be achieved by using hybrid cellular and wireless LAN (WLAN) approaches [1]. In a hybrid system, a proxy...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Authenticity and secrecy of broadcast message content is important in wireless sensor networks deployed for battlefield control, emergency response, and natural resourc...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— The pre-shared key based mechanisms for Transport Layer Security (TLS) were recently standardized by the IETF to extend the set of ciphersuites by utilizing existing ke...
NGC
2007
Springer
13 years 9 months ago
2007
Springer
Abstract Understanding potential genetic factors in disease or development of personalised e-Health solutions require scientists to access a multitude of data and compute resources...