through Planning Volha Bryl and Fabio Massacci and John Mylopoulos and Nicola ...  Home/Search
Context
Related
| dit.unitn.it/~zann...ozann06AISC.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. Automated reasoning mechanisms for requirements and software verification are by now a well-accepted part of the design process, and model driven architectures support the automation of the refinement process. We claim that we can further push the envelope towards the automatic exploration and selection among design alternatives and show... (Update)
Active bibliography (related documents): More All
6.4: Designing Security Requirements Models through - Planning Volha Bryl (Correct)
0.9: Requirements Engineering for Trust Management.. - Giorgini.. (2006) (Correct)
0.9: Security and Trust Requirements Engineering - Paolo Giorgini Fabio (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ volha-designing,
author = "Through Planning Volha",
title = "Designing Security Requirements Models",
url = "citeseer.ist.psu.edu/764250.html" }
Citations (may not include all citations):554 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
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
59 Recent Advances in AI Planning - Weld - 1999 DBLP
45 The Science of the Artificial (context) - Simon - 1969
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 Moving Proofs-as-Programs into Practice - Caldwell - 1997
13 Using Abuse Case Models for Security Requirements Analysis (context) - McDermott, Fox - 1999 ACM DBLP
11 Using a Security Requirements Engineering Methodology in Pra.. - Massacci, Prest et al. - 2005
10 ConGolog, a concurrent programming language based on the sit.. - de Giacomo, erance et al. - 2000 DBLP
10 Modeling Security Requirements Through Ownership, Permission.. - 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 Modeling the Impact of Trust and Distrust in Agent Networks (context) - Gans, Jarke et al. - 2001
5 Web service composition as planning (context) - Carman, Serafini et al. - 2003
5 Eliciting security requirements with misuse cases (context) - Sindre, Opdahl - 2005
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 Using Trust Assumptions with Security Requirements (context) - Haley, Laney et al. - 2006
2 Requirements analysis for socio-technical systems: Exploring.. (context) - Bryl, Giorgini et al.
2 Designing security requirements models through planning - Bryl, Massacci et al.
2 Managing the Non-Profit Organization: Principles and Practic.. (context) - Drucker - 1990
2 Specification and Synthesis of Hybrid Automata for Physics-B.. (context) - Ellman - 2003 DBLP
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 Pddl2.2: The language for the classical part of the 4th inte.. (context) - Edelkamp, Hoffmann - 2004
1 What is model driven architecture (context) - Runde, Stlen - 2003
1 Trust, 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