Dashboard > Security Software Engineering project > Home > TUTORIAL-20080606-12 > Information > Page Comparison
Log In   View a printable version of the current page.
Version 1 by Nobukazu KAZ Yoshika
on Jun 05, 2008 21:15.

 
compared with
Current by Nobukazu KAZ Yoshika
on Jun 05, 2008 21:18.
(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.

 h1. GRACE Tutorials on Security Requirements Engineering
  
 Title: Goal-Oriented Requirements Engineering with KAOS: A Tutorial
 - Speaker: Emmanuel Letier, University College of London, UK
 - Date & Time: 6 June 13:30-15:00
 - Place: NII Meeting room 1 on 20F
  
 Abstract:
 This talk will be a short tutorial on how to elaborate goal-oriented requirements models using the KAOS method. Goal-oriented requirements engineering is an increasingly popular paradigm for elaborating software requirements. It offers systematic support for incrementally building intentional, structural and operational models of the software and its environment. It also provides various techniques for early analysis of requirements, notably, to manage conflicting goals, to anticipate exceptional behaviours that prevent goals from being achieved, and to reason about the impact of alternative decisions on the degrees of goal satisfaction. The tutorial will illustrate the KAOS method on a running example and discuss practical tips on how to elaborate good goal-oriented models.
  
 Biography:
 Emmanuel Letier is lecturer and programme director for the MSc in Software Systems Engineering in the Department of Computer Science, University College London. His research interests are in systems requirements engineering, formal specification, and software design. http://www.cs.ucl.ac.uk/staff/e.letier/
 ----
 Title:Security Requirements Engineering with i*/Tropos
 - Speaker:Lin Liu, Tsinghua University, China
 - Date & Time: 11 June 13:30-15:00
 - Place: NII Meeting room 1 on 20F
  
 Abstract:
 In this tutorial, I will summarize the work related to using i* to model and analyze security related requirements. Major content include: overview of security requirements engineering methods; the modelling notation of i*/tropos; using conventional i* to model security requirements and privacy requirements; the security specific extensions to the graphical and formal modelling framework; examples and case studies.
  
 Biography:
 Lin Liu is associate professor at the School of Software, Tsinghua University, Beijing, China. She received her Ph.D. in Computer Science from the Chinese Academy of Sciences. Her interests are in the areas of requirements engineering, knowledge management, software engineering, and service sciences. Her research emphasizes concepts and techniques for modelling and systematically analyzing social actors, and building intelligent software agents that can reason and learn.
 ----
 Title:SQUARE Tutorial
 - Speaker:Nancy R. Mead, SEI/CMU, USA
 - Date & Time: 12 June 13:30-15:00
 - Place: NII Meeting room 1 on 20F
  
 Abstract:
 It is well recognized in industry that requirements engineering is critical to the success of any major development project. Security requirements, however, tend to be developed independently of the rest of the requirements engineering activity. As a result, security requirements that are specific to the system and that provide for protection of ssential services and assets are often neglected.
  
  Through the SQUARE project, CERT researchers have developed an end-to-end
 process for security requirements engineering to help organizations build
 security into the early stages of the production life cycle. The SQUARE
 methodology consists of nine steps that generate a final deliverable of
 categorized and prioritized security requirements. In this tutorial we will
 give an overview of the SQUARE steps. We will then show a demo of the
 SQUARE prototype tool. Finally we will go through a Case Study with SQUARE.
  Through the SQUARE project, CERT researchers have developed an end-to-end process for security requirements engineering to help organizations build security into the early stages of the production life cycle. The SQUARE methodology consists of nine steps that generate a final deliverable of categorized and prioritized security requirements. In this tutorial we will give an overview of the SQUARE steps. We will then show a demo of the SQUARE prototype tool. Finally we will go through a Case Study with SQUARE.
  
 Biography:
 Nancy R. Mead is a senior member of the technical staff in the Networked Systems Survivability Program at the Software Engineering Institute (SEI). The CERT Coordination Center is a part of this program. Mead is also a faculty member in the Master of Software Engineering and Master of Information Systems Management programs at Carnegie Mellon University.
 She is currently involved in the study of secure systems engineering and the development of professional infrastructure for software engineers. She also served as director of education for the SEI from 1991 to 1994. Her research interests are in the areas of information security, software requirements engineering, and software architectures. Mead has more than 100 publications and invited presentations, and has a biographical citation in Whos Who in America. She is a Fellow of the Institute of Electrical and Electronic Engineers, Inc. (IEEE) and the IEEE Computer Society and is also a member of the Association for Computing Machinery (ACM). Mead is a member of numerous advisory boards and committees. Dr. Mead received her PhD in mathematics from the Polytechnic Institute of New York, and received a BA and an MS in mathematics from New York University.
  
  
  
Powered by Atlassian Confluence, the Enterprise Wiki. (Version: 2.3.1 Build:#643 Feb 03, 2007) - Bug/feature request - Contact Administrators