Hello All I was just wondering - Has anybody tried using SPIN (with PROMELA as a modeling language) to verify the protocols used in TinyOS/TinySec i.e. suppose I wish to verify the protocol used by TinySEC_Auth mode for ensuring message integrity, is it possible using SPIN. Any pointers, please ?!!......
TKS n RGDS -- -******************************************************** Devesh C Jinwala, Assistant Professor in Computer Engineering, Sardar Vallabhbhai National Institute of Technology, Surat, INDIA - 395 007 Tel: +91-261-3055610 (R); +91-261-2228394 (O); Cell: 09426611777 ********************************************************
_______________________________________________ Tinyos-help mailing list [email protected] https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
