Amnon H. Eden

Amnon H. Eden

Sapience.org

  • Bio
    • Education
    • Academic record
    • Professional Record
    • Teaching record
    • Awards & Funding
  • Publications
  • Keynotes & Lectures
  • Research
  • Advice
  • Contact

Software Security

Publication Types:

All types ( 40 ) Artificial Intelligence ( 7 ) Cryptocurrencies ( 1 ) Design Patterns ( 13 ) Development Tools ( 10 ) Disruptive Technology ( 6 ) FOREX ( 1 ) Formal Methods ( 14 ) Machine Learning ( 3 ) Object-Oriented Programming ( 10 ) Ontology ( 5 ) Philosophy of Computer Science ( 8 ) Software Architecture ( 3 ) Software Design ( 6 ) Software Engineering ( 26 ) Software Evolution ( 6 ) Software Modelling ( 7 ) Software Security ( 1 ) Software Visualization ( 4 ) Superintelligence ( 6 )

Structural Analysis of the Check Point Pattern

Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Security
Abdullah A.A. Alzahrani, Amnon H. Eden, Majd Zohri Yafi
3rd International Workshop on Cyberpatterns 2014, in conjunction with 8th Int'l Symp. Service-Oriented System Engineering—SOSE 2014. Oxford, UK: IEEE Computer Society Press
Publication year: 2014