894 search results - page 2 / 179 » Secure Implementation of Channel Abstractions |
CANS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Ever-growing mobility and ubiquitous wireless Internet access raise the need for secure communication with devices that may be severely constrained in terms of processing...
CCS
2010
ACM
13 years 2 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
NCA
2008
IEEE
13 years 11 months ago
2008
IEEE
INFOCOM
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract – There is a growing interest in physical layer security. Recent work has demonstrated that wireless devices can generate a shared secret key by exploiting variations in...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...