739 search results - page 128 / 148 » Security Analysis of IEEE 802.16 |
DSN
2009
IEEE
14 years 5 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
—With in-network sensor data storage and query, storage nodes are responsible for storing the data collected by sensor nodes and answering queries from users. Thus, without prope...
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
CODES
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
DASFAA
2008
IEEE
14 years 5 months ago
2008
IEEE
A vast amount of information is being stored in scientific databases on the web. The dynamic nature of the scientific data, the cost of providing an up-to-date snapshot of the wh...