Dashboard > Security Software Engineering project > Home > Publications > Information > Page Comparison
Log In   View a printable version of the current page.
compared with
Current by Nobukazu KAZ Yoshika
on Jun 05, 2008 21:44.

(show comment)
 
Key
These lines were removed. This word was removed.
These lines were added. This word was added.

View page history


There are 1 changes. View first change.

 h2. 2008
  
 h3. Journal
 # Shinichi HONIDEN, Bashar NUSEIBEH, ["Special issue: The future of software engineering for security and privacy",|http://www.nii.ac.jp/pi/html/n5_mar2008_toc.html] Progress in Informatics, No.5, March (2008)
  
 h3. research papers
 # Eduardo Fernandez, Hironori Washizaki, Nobukazu Yoshioka, Atsuto Kubo and Yoshiaki Fukazawa, Classification of Security Patterns," Proceedings of the 10th Asia-Pacific Web Conference (2008).
  # Nobukazu Yoshioka, Hironori Washizaki and Katsuhisa Maruyama, "A Survey on Security Patterns," Progress in Informatics, Vol.5, (2008).
  # Nobukazu Yoshioka, Hironori Washizaki and Katsuhisa Maruyama, "A Survey on Security Patterns," Progress in Informatics, Vol.5, (2008).[PDF|http://www.nii.ac.jp/pi/n5/5_35.pdf]
 # Mike Richards, Blaine Price, and Bashar Nuseibeh, "Placing Computer Security at the Heart of Learning", Progress in Informatics, Issue Number 5 (2008).
 # Charles B. Haley, Robin Laney, Jonathan D. Moffett, and Bashar Nuseibeh, "Security Requirements Engineering: A Framework for Representation and Analysis," Transactions on Software Engineering (IEEE), vol. 34 no. 1, pp. 133-153 (2008).
 # Armstrong Nhlabatsi, Robin Laney, and Bashar Nuseibeh, "Feature Interaction: the Security Threat from within Software Systems", Progress in Informatics, Issue Number 5 (2008).
 # Jan Jürjens. Countering the Malicious Programmer. Invited participation and presentation at the Dagstuhl seminar on "Countering the Insider Threat" from July 20 to July 25, 2008
 # A. Bauer and J. Jürjens: Security protocols, properties, and their monitoring. The 4th International Workshop on Software Engineering for Secure Systems (SESS'08 @ ICSE 2008).
 # Jan Jürjens. Quality Assurance for Security-Critical Systems. 13th Software & Systems Quality Conferences, 15th - 18th April 2008, Congress Center Dusseldorf, Germany
 # Jan Jürjens: Model-based Security Testing using UMLsec. Model-based Testing 2008 (MBT`08 @ ETAPS 2008).
 # Jan Jürjens: Using Interface Specifications for Verifying Crypto-protocol Implementations. Foundations of Interface Technologies 2008 (FIT`08 @ ETAPS 2008).
 # J. Jürjens, J. Schreck, P. Bartmann: Model-based Security Analysis for Mobile Communications: An Industrial Application of UMLsec. ICSE 2008.
 # Jan Jürjens and Eduardo B. Fernandez, Secure Database Development. in: Encyclopedia of Database Systems, © Springer (forthcoming). Invited chapter, ca. 10 pp.
 # S. Höhn and J. Jürjens: Rubacon: Automated Support for Model-based Compliance Engineering. ICSE 2008.
 # J. Jürjens, J. Schreck, and Yijun Yu: Automated Analysis of Permission-Based Security using UMLsec. FASE 2008 (ETAPS).
 # J. Jürjens, Model-based Run-time Checking of Security Permissions using Guarded Objects. Runtime-Verification 2008 (RV`08 @ ETAPS 2008). Revised version will be published by Springer as Post-Proceedings.
 # D. Ratiu, M. Feilkas, and J. Jürjens: Extracting Domain Ontologies from Domain Specific APIs. 12th European Conference on Software Maintenance and Reengineering (CSMR 08), IEEE.
 # Eduardo Fernandez-Medina, Sushil Jajodia, Jan Jürjens, and Juan Trujillo, Model based Development for Secure Information Systems. Special issue of the Journal of Information and Software Technology, 2008.
 # Haruhiko Kaiya, Kouta Sasaki, and Kenji Kaijiri.
 "PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application", Progress in Informatics, Issue Number 5 (2008).
 # Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Kenji Kaijiri, "Toward Quality Requirements Analysis based on Domain Specific Quality Spectrum", Proc. of 23rd Annual ACM Symposium on Applied Computing, Track on Requirements Engineering, Volume 1 of 3, pp. 596-60, (2008).
 # Kenji TAGUCHI, Yasuyuki TAHARA, "Curriculum design and methodologies for security requirements analysis," Progress in Informatics, Issue Number 5 (2008).
 # Eric PLATON, Yuichi SEI, "Security software engineering in wireless sensor networks," Progress in Informatics, Issue Number 5 (2008).
 # Martin REHA'K, Michal PECHOUCEK, Karel BARTOS, Martin GRILL, Pavel CELEDA, Vojtech KRMI'CEK,"CAMNEP: An intrusion detection system for high-speed networks," Progress in Informatics, Issue Number 5 (2008).
  
  
 h2. 2007
 # Hiroya Itoga, Atsushi Ohnishi, "Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria,"Proc. of 7th International Conference on Quality, Software (QSIC'07), Portland, .S.A., October 11-12, pp.70-79, (2007)
 # Katsuhisa Maruyama, "Secure Refactoring: Improving the Security Level of Existing Code", 2nd International Conference on Software and Data Technologies (ICSOFT 2007), pp.222-229 (2007).
 # Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa, "Extracting Relations among Security Patterns", Proceedings of the 1st International Workshop on Software Patterns and Quality (SPAQu'07)", pp.31-36 (2007)
 # Nobukazu Yoshioka, "Integration of Attack patterns and Protective Patterns", Proceedings of the 1st International Workshop on Software Patterns and Quality (SPAQu'07)", pp.45-46 (2007).
 # Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki, Jan Jurjens, "Using security patterns to build secure systems", Proceedings of the 1st International Workshop on Software Patterns and Quality (SPAQu'07)", pp.47-48 (2007)
 # Hironori Washizaki, Atsuto Kubo, Yoshiaki Fukazawa, "Measuring Abstraction Levels of Security Patterns", Proceedings of the 1st International Workshop on Software Patterns and Quality (SPAQu'07)", pp.59-60 (2007)
 # Jan Jürjens and P. Shabalin, Tools for Secure Systems Development with UML. Invited submission to the FASE 2004/05 special issue of the International Journal on Software Tools for Technology Transfer, Springer, Volume 9, Numbers 5-6 / October, 2007, pp. 527-544.
 # M. Woodside, D.C. Petriu, D.B. Petriu, J. Xu, T. Israr, G. Georg, R. France, J.M. Bieman, S.H. Houmb, and Jan Jürjens, Performance Analysis of Security Aspects by Weaving Scenarios from UML Models. Accepted subject to minor modifications, Journal of Software and Systems, 2007, ca. 26 pp.
 # B. Best, J. Jürjens, and B. Nuseibeh: Model-based Security Engineering of Distributed Information Systems using UMLsec 29th International Conference on Software Engineering (ICSE 2007), ACM, 2007, pp. 581-590.
 # J. Jürjens and Yijun Yu: Tools for Model-based Security Engineering: Models vs. Code. 22nd International Conference on Automated Software Engineering (ASE 2007), IEEE/ACM, 2007, pp. 545-546
 # J. Jürjens, Developing Secure Embedded Systems: Pitfalls and How to Avoid Them. 29th International Conference on Software Engineering (ICSE 2007), ACM, 2007, Companion Volume pp.182-183.
 # D. Ratiu and J. Jürjens: The Reality of Libraries. 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), IEEE, 2007, pp. 307-318.
  
 Industrial Conferences / Workshop Talks
  
 # Jan Jürjens: Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007), Oxford, Sep. 10-12, 2007.
 # Jan Jürjens: Model-based Security Engineering for Compliance with Regulatory and Business Requirements. 2007 Workshop of HP Software University Association (HP-SUA), Munich (Germany), July 8-11, 2007.
 # Jan Jürjens. Tools and Techniques for Model-based Testing with UML. 12th Software & Systems Quality Conferences, April 2007, Congress Center Dusseldorf, Germany
  
Powered by Atlassian Confluence, the Enterprise Wiki. (Version: 2.3.1 Build:#643 Feb 03, 2007) - Bug/feature request - Contact Administrators