يعرض 1 - 10 نتائج من 16 نتيجة بحث عن '"Kassas, S"', وقت الاستعلام: 1.69s تنقيح النتائج
  1. 1
    مؤتمر
    Goal-Oriented Software Security Engineering: The Electronic Smart Card Case Study.

    المؤلفون: Hassan, R., Eltoweissy, M., Bohner, S., El-Kassas, S.

    المصدر: 2009 International Conference on Computational Science & Engineering; 2009, p213-218, 6p


    أضف إلى المفضلة
  2. 2
    مؤتمر
    Integrating Formal Analysis and Design to Preserve Security Properties.

    المؤلفون: Hassan, R., Bohner, S., El-Kassas, S., Hinchey, M.

    المصدر: 2009 42nd Hawaii International Conference on System Sciences; 2009, p1-10, 10p


    أضف إلى المفضلة
  3. 3
    مؤتمر
    A Rigorous Methodology for Security Architecture Modeling and Verification.

    المؤلفون: Ali, Y., El-Kassas, S., Mahmoud, M.

    المصدر: 2009 42nd Hawaii International Conference on System Sciences; 2009, p1-10, 10p


    أضف إلى المفضلة
  4. 4
    مؤتمر
    Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.

    المؤلفون: Hassan, R., Bohner, S., El-Kassas, S., Eltoweissy, M.

    المصدر: 2008 Third International Conference on Availability, Reliability & Security; 2008, p1443-1450, 8p


    أضف إلى المفضلة
  5. 5
    مؤتمر
    Challenges for Security Typed Web Scripting Languages Design.

    المؤلفون: Hassan, D., El-Kassas, S., Ziedan, I.

    المصدر: 2008 the Fourth International Conference on Information Assurance & Security; 2008, p227-230, 4p


    أضف إلى المفضلة
  6. 6
    مؤتمر
    Developing a Security Typed Java Servlet.

    المؤلفون: Hassan, D., El-Kassas, S., Ziedan, I.

    المصدر: 2008 the Fourth International Conference on Information Assurance & Security; 2008, p215-220, 6p


    أضف إلى المفضلة
  7. 7
    مؤتمر
    Visual Craft: a visual integrated development environment.

    المؤلفون: Hegazi, A.F., Metwally, A.M., Degady, L.M., Abu El Saadat, W.M., El-Kadi, A., El-Kassas, S.

    المصدر: Proceedings Second IEEE Symposium on Computer & Communications; 1997, p210-214, 5p


    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements.

    المؤلفون: Hassan, R., Eltoweissy, M., Bohner, S., El-Kassas, S.

    المصدر: IET Software (Institution of Engineering & Technology); Apr2010, Vol. 4 Issue 2, p149-160, 12p, 4 Diagrams, 4 Charts

    مصطلحات موضوعية: COMPUTER software, SOFTWARE engineering, EXPERIMENTAL design, COMPUTER security, FORMAL methods (Computer science), SYSTEMS design


    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    RARAN: Authenticated Routing for Ad Hoc Networks Protocol with Reputation.

    المؤلفون: Sameh, A., Mahmoud, A., El-Kassas, S.

    المصدر: International Review on Computers & Software; Sep2007, Vol. 2 Issue 5, p463-474, 12p, 4 Diagrams, 4 Charts, 3 Graphs

    مصطلحات موضوعية: ROUTING (Computer network management), AD hoc computer networks, COMPUTER security, COMPUTER network management, DATA protection


    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Equivalent circuit for small solid-rotor induction motors fed from a non-sinusoidal supply.

    المؤلفون: Abdel-Halim, I. A. M., Mansour, H. A., El-Kassas, S. I., Hamed, H. G.

    المصدر: European Transactions on Electrical Power; May1994, Vol. 4 Issue 3, p237-241, 5p


    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث