Showing 1 - 20 results of 42 for search 'IOS Press,', query time: 0.03s Refine Results
  1. 1
  2. 2

    Security and embedded systems

    Published 2006
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  3. 3

    Verification of infinite-state systems with applications to security

    Published 2006
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  4. 4

    Information assurance and computer security

    Published 2006
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  5. 5

    Software system reliability and security

    Published 2007
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  6. 6

    A process for developing a common vocabulary in the information security area

    Published 2007
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  7. 7

    Formal logical methods for system security and correctness

    Published 2008
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  8. 8

    Boolean functions in cryptology and information security

    Published 2008
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  9. 9
  10. 10

    Modelling cyber security approaches, methodology, strategies /

    Published 2009
    “…Ios Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  11. 11

    Logics and languages for reliability and security

    Published 2010
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  12. 12

    Formal models and techniques for analyzing security protocols

    Published 2011
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  13. 13

    Software and systems safety specification and verification /

    Published 2011
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  14. 14

    Software safety and security tools for analysis and verification /

    Published 2012
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  15. 15

    Secure multi-party computation

    Published 2013
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  16. 16
  17. 17
  18. 18

    Software systems safety /

    Published 2014
    “…IOS Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  19. 19
  20. 20

    Modelling cyber security approaches, methodology, strategies /

    Published 2009
    “…Ios Press,…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook