88 search results - page 2 / 18 » PSIM: A tool for analysis of device pairing methods |
ACNS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. “Secure Device Pairing” is the process of bootstrapping secure communication between two devices over a short- or medium-range wireless channel (such as Bluetooth, Wi...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper discusses the need for both a series of electronic tools and procedural changes to the evidence collection process to accommodate the possibilities of wireless technolo...
BMCBI
2010
13 years 3 months ago
2010
Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...