𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic

✍ Scribed by Das, Manik Lal; Narasimhan, V. Lakshmi

Book ID: 126754123
Publisher: IEEE
Year: 2008
Weight: 411 KB
Category: Article
ISBN: 0769530990
DOI: 10.1109/ITNG.2008.140

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Fifth International Conferenc

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Internet Filtering and Censorship

✍ Hamade, Samir N. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 470 KB

[IEEE 2008 Fifth International Conferenc

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Formulating Pseudo-Natural Language

✍ Iyengar, Sudharsan R. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 480 KB

[IEEE 2008 Fifth International Conferenc

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Programmable Logic Gates for Optical Processing

✍ Kochergin, V.; Shi, Z.; Ostroumov, R.; Kroetch, A.; Buswell, S.; Evoy, S.; Hefli 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 907 KB

[IEEE 2008 Fifth International Conferenc

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Spin Wave Logic Circuit on Silicon Platform

✍ Khitun, Alexander; Bao, Mingqiang; Wu, Yina; Kim, Ji-Young; Hong, Augustin; Jaco 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 512 KB

[IEEE 2008 Fifth International Conferenc

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Fault-Based Web Services Testing

✍ Hanna, Samer; Munro, Malcolm 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 485 KB

[IEEE 2008 Fifth International Conferenc

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Novel Window Functions for Digital Filters

✍ Rajan, Arulalan M.; Jamadagni, H.S.; Rao, Ashok 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 731 KB