Login / Signup
Verification of Secret Key Generation from UWB Channel Observations.
Masoud Ghoreishi Madiseh
Shuai He
Michael L. McGuire
Stephen W. Neville
Xiaodai Dong
Published in:
ICC (2009)
Keyphrases
</>
ultra wideband
communication systems
model checking
multi channel
multipath
short range
channel estimation
multiple access
wireless channels
formal verification
verification method
orthogonal frequency division multiplexing
noisy channel
formal methods
bit error rate
secret sharing