Formal Methods for Mobile Computing [cryptography]
ACM WiSec '10
http://www.sigsac.org/wisec/WiSec2010/cfp.html
のCFPを眺めていて
> Formal methods for wireless security
こんな分野があるんだなぁ,と感心(関心)していたら
FMWS 2009
Second International Workshop on Formal Methods for Wireless Systems
http://www.itu.dk/events/FMWS09/
Formal Methods for Mobile Computing
http://www.springer.com/computer/programming/book/978-3-540-25697-7
などを見つけて驚いた.FMは,もう10年前の私の知っていたこと よりもだいぶ先に
進んでいるんだなぁと実感した.
----
面白そうな論文を二つ.備忘録.ちょっと古いけど.
Formal verification of cryptographic protocols: A survey
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.43.3984&rep=rep1&type=pdf
Formal verification of PAP and EAP-MD5 protocols in wireless networks: FDR model checking
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1283800
posted by exploit at 2009-06-23 18:44
nice!(0)
コメント(0)
トラックバック(0)
コメント 0