Towards a Practical Security Analysis Methodology.
Saved in:
| Title: | Towards a Practical Security Analysis Methodology. |
|---|---|
| Authors: | van den Berghe, Alexander1 alexander.vandenberghe@cs.kuleuven.be |
| Source: | ICSE: International Conference on Software Engineering. 2015, p883-886. 4p. |
| Subjects: | Computer software research, Investment analysis, Heterogeneous computing, Model-integrated computing, Software frameworks |
| Abstract: | The research community has proposed numerous techniques to perform security-oriented analyses based on a software design model. Such a formal analysis can provide precise security guarantees to the software designer, and facilitate the discovery of subtle flaws. Nevertheless, using such techniques in practice poses a big challenge for the average software designer, due to the narrow scope of each technique, the heterogeneous set of modelling languages that are required, and the analysis results that are often hard to interpret. Within the course of our research, we intend to provide practitioners with an integrated, easy-to-use modelling and analysis environment that enables them to work on a broad range of common security concerns without leaving the software design's level of abstraction. [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 111750068 AccessLevel: 6 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Towards a Practical Security Analysis Methodology. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22van+den+Berghe%2C+Alexander%22">van den Berghe, Alexander</searchLink><relatesTo>1</relatesTo><i> alexander.vandenberghe@cs.kuleuven.be</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. 2015, p883-886. 4p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Computer+software+research%22">Computer software research</searchLink><br /><searchLink fieldCode="DE" term="%22Investment+analysis%22">Investment analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Heterogeneous+computing%22">Heterogeneous computing</searchLink><br /><searchLink fieldCode="DE" term="%22Model-integrated+computing%22">Model-integrated computing</searchLink><br /><searchLink fieldCode="DE" term="%22Software+frameworks%22">Software frameworks</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: The research community has proposed numerous techniques to perform security-oriented analyses based on a software design model. Such a formal analysis can provide precise security guarantees to the software designer, and facilitate the discovery of subtle flaws. Nevertheless, using such techniques in practice poses a big challenge for the average software designer, due to the narrow scope of each technique, the heterogeneous set of modelling languages that are required, and the analysis results that are often hard to interpret. Within the course of our research, we intend to provide practitioners with an integrated, easy-to-use modelling and analysis environment that enables them to work on a broad range of common security concerns without leaving the software design's level of abstraction. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=111750068 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/ICSE.2015.283 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 4 StartPage: 883 Subjects: – SubjectFull: Computer software research Type: general – SubjectFull: Investment analysis Type: general – SubjectFull: Heterogeneous computing Type: general – SubjectFull: Model-integrated computing Type: general – SubjectFull: Software frameworks Type: general Titles: – TitleFull: Towards a Practical Security Analysis Methodology. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: van den Berghe, Alexander IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: 2015 Type: published Y: 2015 Titles: – TitleFull: ICSE: International Conference on Software Engineering Type: main |
| ResultId | 1 |
