Planning Volha Bryl, Fabio Massacci, John Mylopoulos, and Nicola Zannone...  Home/Search
Context Related
| dit.unitn.it/~zann...zann06CAiSE.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: dit.unitn.it/~zann...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. (Update)
Cited by: More
Designing Security Requirements Models through - Planning Volha Bryl (Correct)
Designing Security Requirements Models - Through Planning Volha (Correct)
Active bibliography (related documents): More All
0.9: Requirements Engineering for Trust Management.. - Giorgini.. (2006) (Correct)
0.9: Security and Trust Requirements Engineering - Paolo Giorgini Fabio (Correct)
0.7: Detecting Conflicts between Functional and Security.. - Massacci, Zannone (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Reasoning about partial goal satisfaction for requirements and design engineerin.. (context) - Letier, van Lamsweerde - 2004
2: Moving proofs-as-programs into practice - Caldwell - 1997
2: Requirements analysis for socio-technical systems: Exploring and evaluating alte.. (context) - Bryl, Giorgini et al.
BibTeX entry: (Update)
@misc{ bryl-designing,
author = "Planning Volha Bryl",
title = "Designing Security Requirements Models through",
url = "citeseer.ist.psu.edu/764522.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
432 The Evolution of Cooperation (context) - Axelrod - 1984
376 Fast Planning Through Planning Graph Analysis - Blum, Furst - 1997 ACM DBLP
366 The Science of the Artificial (context) - Simon - 1969
145 Planning as satisfiability - Kautz, Selman - 1992 ACM DBLP
94 A Deductive Approach to Program Synthesis (context) - Manna, Waldinger - 1980 ACM DBLP
62 Towards Requirements-Driven Information Systems Engineering:.. - Castro, Kolp et al. - 2002 DBLP
59 Recent Advances in AI Planning - Weld - 1999
51 a concurrent programming language based on the situation cal.. (context) - de Giacomo, erance et al. - 2000
28 Trust and Power (context) - Luhmann - 1979
23 PDDL -- The Planning Domain Definition Language - Ghallab, Howe et al. - 1998
21 Model Driven Architecture (context) - Group - 2001 ACM
13 Using Abuse Case Models for Security Requirements Analysis (context) - McDermott, Fox - 1999 ACM DBLP
13 Moving Proofs-as-Programs into Practice - Caldwell - 1997 ACM DBLP
11 Using a Security Requirements Engineering Methodology in Pra.. - Massacci, Prest et al. - 2005
10 Modeling Security Requirements Through Ownership - Giorgini, Massacci et al. - 2005
8 From System Goals to Intruder Anti-Goals: Attack Generation .. - van Lamsweerde, Brohez et al. - 2003
7 Modelling Social and Individual Trust in Requirements Engine.. (context) - Giorgini, Massacci et al. - 2005
5 Web service composition as planning (context) - Carman, Serafini et al. - 2003
5 Eliciting security requirements with misuse cases (context) - Sindre, Opdahl - 2005
5 Modeling the Impact of Trust and Distrust in Agent Networks (context) - Gans, Jarke et al. - 2001
4 Striking a balance between trust and control in a virtual or.. (context) - Gallivan - 2001 DBLP
4 Detecting Conflicts between Functional and Security Requirem.. - Massacci, Zannone - 2006
4 Strategies of Structural Synthesis of Programs and Its Exten.. - Matskin, Tyugu - 2001
3 Modelling Trust for System Design Using the i* Strategic Act.. (context) - Yu, Liu - 2001 ACM
2 Requirements Analysis for Socio-technical Systems: Exploring.. (context) - Bryl, Giorgini et al. - 2006
2 Designing Security Requirements Models through Planning - Bryl, Massacci et al. - 2006
2 Managing the Non-Profit Organization: Principles and Practic.. (context) - Drucker - 1990
2 Using Trust Assumptions with Security Requirements (context) - Haley, Laney et al. - 2006
2 Specification and Synthesis of Hybrid Automata for Physics-B.. (context) - Ellman - 2003 DBLP
2 What is model driven architecture (context) - Runde, Stlen - 2003
2 Web Service Composition as AI Planning - a Survey (context) - Peer - 2005
2 Reasoning about partial goal satisfaction for requirements a.. (context) - Letier, van Lamsweerde - 2004 ACM
2 Automated Procedure Construction for Deductive Synthesis (context) - Roach, Baalen - 2005
1 The language for the classical part of the 4th international.. (context) - Edelkamp, Hoffmann - 2004
1 Contract and Relationship Development (context) - Woolthuis, Hillebrand et al. - 2005
Documents on the same site (http://dit.unitn.it/~zannone/publications.html): More
Hierarchical Hippocratic Databases with Minimal Disclosure for.. - Massacci (2006) (Correct)
ST-Tool: A CASE Tool for Modeling and Analyzing.. - Giorgini, Massacci, .. (2005) (Correct)
Minimal Disclosure in Hierarchical Hippocratic.. - Massacci, Mylopoulos, .. (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC