Showing 1 - 5 results of 5 for search 'Basin, David', query time: 0.03s Refine Results
  1. 1
    Applied Information Security A Hands-on Approach /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the second ACM conference on Wireless network security
    Published 2009
    Other Authors: “…Basin, David…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
    Published 2003
    Other Authors: “…Basin, David…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
    Published 2004
    Other Authors: “…Basin, David…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published 2013
    Other Authors: “…Basin, David…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search