DPS: An Architectural Style for Development of Secure Software
Many claim that software systems must be designed for security. This, however, is far from being an easy task, especially for complex systems. We believe that this difficulty can be alleviated by a set of —preferably rigorous— principles. We propose an architectural style, the Dual Protection Style...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 198 |
|---|---|
| container_issue | |
| container_start_page | 180 |
| container_title | |
| container_volume | 2437 |
| creator | Fenkam, Pascal Gall, Harald Jazayeri, Mehdi Kruegel, Christopher |
| description | Many claim that software systems must be designed for security. This, however, is far from being an easy task, especially for complex systems. We believe that this difficulty can be alleviated by a set of —preferably rigorous— principles. We propose an architectural style, the Dual Protection Style (DPS), for constructing secure software. This style results from our experience in designing and implementing a distributed, multi-user, medium sized application. We present the applicability and effectiveness of our DPS style on the basis of a case study of a distributed software platform for virtual and mobile team collaboration called Motion. We further elaborate on the description of this architectural style, its formalization and the formal verification of some of its properties. |
| doi_str_mv | 10.1007/3-540-45831-X_13 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_14654993</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3071887_19_189</sourcerecordid><originalsourceid>FETCH-LOGICAL-p268t-606a26800e47d2a23f3daaad5e9bda684a1282e58c376fe9cfa72a1a4f067bf83</originalsourceid><addsrcrecordid>eNotkMtPIzEMxgO7IMrjznEuHIdN4kweHJAqykuqtCuVlbhFbupAYegMyXRX_PekUF9sfd9nS_4xdir4ueDc_IK6UbxWjQVRP3oBO-wQivIlPO6ykdBC1ADK_dgaCrjTP9mIA5e1Mwr22cg1tpHSGXHATnJ-4aVAKi7UiF1O_swuqvGqGqfwvBwoDOuEbTUbPlqqYpeqCf2jtuvfaDVUXaxmFNaJqlkXh_-Y6JjtRWwznWz7Eft7c_1wdVdPf9_eX42ndS-1HWrNNZaBc1JmIVFChAUiLhpy8wVqq1BIK6mxAYyO5EJEI1GgilybebRwxM6-7_aYA7Yx4Soss-_T8g3ThxdKN8o5KLnz71wu1uqJkp933Wv2gvsNTg--MPJf9PwGZ1mA7eHUva8pD542G6G8WziEZ-wHStkDN8Ja44Xzwjr4BJw8ciI</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3071887_19_189</pqid></control><display><type>book_chapter</type><title>DPS: An Architectural Style for Development of Secure Software</title><source>Springer Books</source><creator>Fenkam, Pascal ; Gall, Harald ; Jazayeri, Mehdi ; Kruegel, Christopher</creator><contributor>Frankel, Yair ; Rees, Owen ; Davida, George ; Frankel, Yair ; Davida, George ; Rees, Owen</contributor><creatorcontrib>Fenkam, Pascal ; Gall, Harald ; Jazayeri, Mehdi ; Kruegel, Christopher ; Frankel, Yair ; Rees, Owen ; Davida, George ; Frankel, Yair ; Davida, George ; Rees, Owen</creatorcontrib><description>Many claim that software systems must be designed for security. This, however, is far from being an easy task, especially for complex systems. We believe that this difficulty can be alleviated by a set of —preferably rigorous— principles. We propose an architectural style, the Dual Protection Style (DPS), for constructing secure software. This style results from our experience in designing and implementing a distributed, multi-user, medium sized application. We present the applicability and effectiveness of our DPS style on the basis of a case study of a distributed software platform for virtual and mobile team collaboration called Motion. We further elaborate on the description of this architectural style, its formalization and the formal verification of some of its properties.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540443096</identifier><identifier>ISBN: 9783540443094</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 354045831X</identifier><identifier>EISBN: 9783540458319</identifier><identifier>DOI: 10.1007/3-540-45831-X_13</identifier><identifier>OCLC: 958522971</identifier><identifier>LCCallNum: TK5105.5-5105.9</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Alloy ; Applied sciences ; Architectural Style ; Authorization and Access Control ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Formal Methods ; Memory and file management (including protection and security) ; Memory organisation. Data processing ; Security Engineering ; Software ; Software Architecture ; Software engineering</subject><ispartof>Infrastructure Security, 2002, Vol.2437, p.180-198</ispartof><rights>Springer-Verlag Berlin Heidelberg 2002</rights><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3071887-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-45831-X_13$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-45831-X_13$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,776,777,781,786,787,790,4036,4037,27906,38236,41423,42492</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14654993$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Frankel, Yair</contributor><contributor>Rees, Owen</contributor><contributor>Davida, George</contributor><contributor>Frankel, Yair</contributor><contributor>Davida, George</contributor><contributor>Rees, Owen</contributor><creatorcontrib>Fenkam, Pascal</creatorcontrib><creatorcontrib>Gall, Harald</creatorcontrib><creatorcontrib>Jazayeri, Mehdi</creatorcontrib><creatorcontrib>Kruegel, Christopher</creatorcontrib><title>DPS: An Architectural Style for Development of Secure Software</title><title>Infrastructure Security</title><description>Many claim that software systems must be designed for security. This, however, is far from being an easy task, especially for complex systems. We believe that this difficulty can be alleviated by a set of —preferably rigorous— principles. We propose an architectural style, the Dual Protection Style (DPS), for constructing secure software. This style results from our experience in designing and implementing a distributed, multi-user, medium sized application. We present the applicability and effectiveness of our DPS style on the basis of a case study of a distributed software platform for virtual and mobile team collaboration called Motion. We further elaborate on the description of this architectural style, its formalization and the formal verification of some of its properties.</description><subject>Alloy</subject><subject>Applied sciences</subject><subject>Architectural Style</subject><subject>Authorization and Access Control</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Formal Methods</subject><subject>Memory and file management (including protection and security)</subject><subject>Memory organisation. Data processing</subject><subject>Security Engineering</subject><subject>Software</subject><subject>Software Architecture</subject><subject>Software engineering</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540443096</isbn><isbn>9783540443094</isbn><isbn>354045831X</isbn><isbn>9783540458319</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2002</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkMtPIzEMxgO7IMrjznEuHIdN4kweHJAqykuqtCuVlbhFbupAYegMyXRX_PekUF9sfd9nS_4xdir4ueDc_IK6UbxWjQVRP3oBO-wQivIlPO6ykdBC1ADK_dgaCrjTP9mIA5e1Mwr22cg1tpHSGXHATnJ-4aVAKi7UiF1O_swuqvGqGqfwvBwoDOuEbTUbPlqqYpeqCf2jtuvfaDVUXaxmFNaJqlkXh_-Y6JjtRWwznWz7Eft7c_1wdVdPf9_eX42ndS-1HWrNNZaBc1JmIVFChAUiLhpy8wVqq1BIK6mxAYyO5EJEI1GgilybebRwxM6-7_aYA7Yx4Soss-_T8g3ThxdKN8o5KLnz71wu1uqJkp933Wv2gvsNTg--MPJf9PwGZ1mA7eHUva8pD542G6G8WziEZ-wHStkDN8Ja44Xzwjr4BJw8ciI</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>Fenkam, Pascal</creator><creator>Gall, Harald</creator><creator>Jazayeri, Mehdi</creator><creator>Kruegel, Christopher</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2002</creationdate><title>DPS: An Architectural Style for Development of Secure Software</title><author>Fenkam, Pascal ; Gall, Harald ; Jazayeri, Mehdi ; Kruegel, Christopher</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p268t-606a26800e47d2a23f3daaad5e9bda684a1282e58c376fe9cfa72a1a4f067bf83</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Alloy</topic><topic>Applied sciences</topic><topic>Architectural Style</topic><topic>Authorization and Access Control</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Formal Methods</topic><topic>Memory and file management (including protection and security)</topic><topic>Memory organisation. Data processing</topic><topic>Security Engineering</topic><topic>Software</topic><topic>Software Architecture</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Fenkam, Pascal</creatorcontrib><creatorcontrib>Gall, Harald</creatorcontrib><creatorcontrib>Jazayeri, Mehdi</creatorcontrib><creatorcontrib>Kruegel, Christopher</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Fenkam, Pascal</au><au>Gall, Harald</au><au>Jazayeri, Mehdi</au><au>Kruegel, Christopher</au><au>Frankel, Yair</au><au>Rees, Owen</au><au>Davida, George</au><au>Frankel, Yair</au><au>Davida, George</au><au>Rees, Owen</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>DPS: An Architectural Style for Development of Secure Software</atitle><btitle>Infrastructure Security</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2002</date><risdate>2002</risdate><volume>2437</volume><spage>180</spage><epage>198</epage><pages>180-198</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540443096</isbn><isbn>9783540443094</isbn><eisbn>354045831X</eisbn><eisbn>9783540458319</eisbn><abstract>Many claim that software systems must be designed for security. This, however, is far from being an easy task, especially for complex systems. We believe that this difficulty can be alleviated by a set of —preferably rigorous— principles. We propose an architectural style, the Dual Protection Style (DPS), for constructing secure software. This style results from our experience in designing and implementing a distributed, multi-user, medium sized application. We present the applicability and effectiveness of our DPS style on the basis of a case study of a distributed software platform for virtual and mobile team collaboration called Motion. We further elaborate on the description of this architectural style, its formalization and the formal verification of some of its properties.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-45831-X_13</doi><oclcid>958522971</oclcid><tpages>19</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Infrastructure Security, 2002, Vol.2437, p.180-198 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_14654993 |
| source | Springer Books |
| subjects | Alloy Applied sciences Architectural Style Authorization and Access Control Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Formal Methods Memory and file management (including protection and security) Memory organisation. Data processing Security Engineering Software Software Architecture Software engineering |
| title | DPS: An Architectural Style for Development of Secure Software |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T11%3A41%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=DPS:%20An%20Architectural%20Style%20for%20Development%20of%20Secure%20Software&rft.btitle=Infrastructure%20Security&rft.au=Fenkam,%20Pascal&rft.date=2002&rft.volume=2437&rft.spage=180&rft.epage=198&rft.pages=180-198&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540443096&rft.isbn_list=9783540443094&rft_id=info:doi/10.1007/3-540-45831-X_13&rft_dat=%3Cproquest_pasca%3EEBC3071887_19_189%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=354045831X&rft.eisbn_list=9783540458319&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3071887_19_189&rft_id=info:pmid/&rfr_iscdi=true |