756 search results - page 143 / 152 » Modeling Computational Security in Long-Lived Systems |
PADL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
MOBIWAC
2009
ACM
14 years 2 months ago
2009
ACM
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
IWANN
2009
Springer
14 years 4 days ago
2009
Springer
Abstract. Ubiquitous computing research have extended traditional environments in the so–called Intelligent Environments. All of them use their capabilities for pursuing their in...