A new methodology for modelling highly structured systems

By Cortes M.   Villacampa Y.   Mateu J.   Uso J.L.  

Environmental Modelling and Software, Vol. 15, Iss. 5, 2000-07 ,pp. : 461-470

Elsevier

Access to resources Recommend Favorite

Location Authentication, Tracking, and Emergency Signaling through Power Line Communication: Designs and Protocols for New Out-of-Band Strategies

By Sherman Alan T.   Phatak Dhananjay   Relan Vivek G.   Sonawane Bhushan  

Cryptologia, Vol. 36, Iss. 2, 2012-04 ,pp. : 129-148

Taylor & Francis Ltd

Access to resources Recommend Favorite

A formal analysis of authentication protocols for mobile devices in next generation networks

By  

CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 12, 2015-08 ,pp. : 2938-2953

John Wiley & Sons Inc

Access to resources Recommend Favorite

A new logic for electronic commerce protocols

By Adi K.   Debbabi M.   Mejri M.  

Theoretical Computer Science, Vol. 291, Iss. 3, 2003-01 ,pp. : 223-283

Elsevier

Access to resources Recommend Favorite

Tamar Szabó Gendler: Intuition, Imagination, and Philosophical Methodology: Oxford University Press, 2013 (paper), x+362, $35.00, ISBN: 978-0-19-958976-0

By Hongladarom Soraj  

Minds and Machines, Vol. 23, Iss. 4, 2013-11 ,pp. : 509-513

Springer Publishing Company

Access to resources Recommend Favorite