Sciweavers

4118 search results - page 384 / 824
» Mechanisms for usage control
Sort
View
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
16 years 1 months ago
Enhancing Software Modularity and Extensibility: A Case for using Generic Data Representations
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
Gregory Broten
CALCO
2007
Springer
88views Mathematics» more  CALCO 2007»
16 years 1 months ago
Datatypes in Memory
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
David Aspinall, Piotr Hoffman
CEAS
2007
Springer
16 years 1 months ago
DomainKeys Identified Mail (DKIM): Using Digital Signatures for Domain Verification
Email protocols were designed to be flexible and forgiving, designed in a day when Internet usage was a cooperative thing. A side effect of that is that they were not designed to ...
Barry Leiba, Jim Fenton
WWIC
2007
Springer
156views Communications» more  WWIC 2007»
16 years 28 days ago
ID-Based Multiple Space Key Pre-distribution Scheme for Wireless Sensor Networks
Providing security services for wireless sensor networks plays a vital role in secure network operation especially when sensor networks are deployed in hostile areas. In order to p...
Tran Thanh Dai, Choong Seon Hong
ASWEC
2006
IEEE
16 years 27 days ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...