Suggested Topics within your search.
Showing 1 - 12 results of 12 for search '', query time: 0.02s Refine Results
  1. 1
    Algorithms, architectures and information systems security

    Algorithms, architectures and information systems security

    Published 2009
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Modelling cyber security approaches, methodology, strategies /

    Modelling cyber security approaches, methodology, strategies /

    Published 2009
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    Software and systems safety specification and verification /

    Software and systems safety specification and verification /

    Published 2011
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Software safety and security tools for analysis and verification /

    Software safety and security tools for analysis and verification /

    Published 2012
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Proceedings of the First International Workshop on Coding and Cryptology, Wuyi Mountain, Fujian, China 11-15 June 2007

    Proceedings of the First International Workshop on Coding and Cryptology, Wuyi Mountain, Fujian, China 11-15 June 2007

    Published 2008
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Verification of infinite-state systems with applications to security

    Verification of infinite-state systems with applications to security

    Published 2006
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Information assurance and computer security

    Information assurance and computer security

    Published 2006
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    A process for developing a common vocabulary in the information security area

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

    Published 2007
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Formal logical methods for system security and correctness

    Formal logical methods for system security and correctness

    Published 2008
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Boolean functions in cryptology and information security

    Boolean functions in cryptology and information security

    Published 2008
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Identity, security and democracy the wider social and ethical implications of automated systems for human identification /

    Identity, security and democracy the wider social and ethical implications of automated systems for human identification /

    Published 2009
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Secure telematic applications for national scale projects

    Secure telematic applications for national scale projects

    Published 2008
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: