741 search results - page 81 / 149 » Verification of security protocols using LOTOS-method and ap... |
144
click to vote
WS
2004
ACM
15 years 9 months ago
2004
ACM
The IEEE 802.15.4 specification outlines a new class of wireless radios and protocols targeted at low power devices, personal area networks, and sensor nodes. The specification ...
137
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
147
click to vote
CANS
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we explore fast algorithms for computing on encrypted polynomials. More specifically, we describe efficient algorithms for computing the Discrete Fourier Transform,...
179
click to vote
SOCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Mobile agent technology and Web Service technology compensate each other and play very important roles in eservice applications. The mechanism of Web Services technology naturally...
163
click to vote
GLOBECOM
2009
IEEE
15 years 1 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...