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年前の私の知っていたこと よりもだいぶ先に
進んでいるんだなぁと実感した．
