39 search results - page 6 / 8 » The Use of Formal Methods for Trusted Digital Signature Devi... |
SOCO
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
HICSS
2007
IEEE
14 years 9 days ago
2007
IEEE
When we have multiple users compiling a single message, including shared contents, metadata, policy, and so on, the integrity of the contents created by individual users needs to ...
EUROPKI
2007
Springer
14 years 4 days ago
2007
Springer
Millions of citizens around the world have already acquired their new electronic passport. The e-passport is equipped with contactless communication capability, as well as with a s...
ICST
2008
IEEE
14 years 12 days ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
WS
2003
ACM
13 years 11 months ago
2003
ACM
Recent results indicate scalability problems for flat ad hoc networks. To address the issue of scalability, self-organizing hierarchical ad hoc architectures are being investigat...