Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

Yongyuth Permpoontanalarp
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.201-215, ⟨10.1007/978-3-642-13464-7_16⟩
Conference papers hal-01055153v1
Image document

Do Personality Traits Work as Moderator on the Intention to Purchase Mobile Applications Work? - A Pilot Study

Charnsak Srisawatsakul , Gerald Quirchmayr , Borworn Papasratorn
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.56-65, ⟨10.1007/978-3-642-55032-4_6⟩
Conference papers hal-01397144v1