✦ LIBER ✦

[IEEE Simulation (HPCS) - Caen, France (2010.06.28-2010.07.2)] 2010 International Conference on High Performance Computing & Simulation - Semantic model checking security requirements for web services

✍ Scribed by Boaro, L.; Glorio, E.; Pagliarecci, F.; Spalazzi, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Simulation (HPCS) - Caen, France (

✍ Nguyen, Toan; Trifan, Laurentiu; Desideri, Jean-Antoine 📂 Article 📅 2010 🏛 IEEE ⚖ 603 KB

[IEEE Simulation (HPCS) - Caen, France (

✍ Boutillon, Emmanuel; Tang, Yangyang; Marchand, Cedric; Bomel, Pierre 📂 Article 📅 2010 🏛 IEEE ⚖ 608 KB

[IEEE Simulation (HPCS) - Caen, France (

✍ Zhao, Gansen; Rong, Chunming; Jaatun, Martin Gilje; Sandnes, Frode Eika 📂 Article 📅 2010 🏛 IEEE ⚖ 540 KB

[IEEE Simulation (HPCS) - Caen, France (

✍ Walton, Maxwell; Grewal, Gary; Darlington, Gerarda 📂 Article 📅 2010 🏛 IEEE ⚖ 716 KB

[IEEE Simulation (HPCS) - Caen, France (

✍ Quinson, Martin 📂 Article 📅 2010 🏛 IEEE ⚖ 575 KB

[IEEE Simulation (HPCS) - Caen, France (

✍ Hill, David R. C. 📂 Article 📅 2010 🏛 IEEE ⚖ 402 KB