搜索结果: 1-4 共查到“软件工程 security”相关记录4条 . 查询时间(0.109 秒)
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Security Analysis of Australian and E.U. E-passport Implementation
Security Analysis of Australian E.U. E-passport Implementation
2014/3/11
This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation an...
An Ontology-Driven Approach Applied to Information Security
Information security Security ontologies Security attacks Security defenses
2014/3/11
Software systems have become highly distributed and complex involving independent components working together towards achieving systems’ goals. Meanwhile, security attacks against such systems have in...
Modelling Reusable Security Requirements based on an Ontology Framework
Security Requirements Requirements Reuse Risk Analysis Ontologies
2014/3/11
In recent years, security in Information Systems (IS) has become an important issue, and needs to be taken into account in all stages of IS development, including the early phase of Requirements Engin...