Art
J-GLOBAL ID：202002245207052721   Reference number：20A0470969

Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models

GDPR準拠ソフトウェア設計に向けて:システムモデル解析のための形式的フレームワーク【JST・京大機械翻訳】
Author (4)：
Vanezi Evangelia

About Vanezi Evangelia

(Department of Computer Science, University of Cyprus, Nicosia, Cyprus)

About Department of Computer Science, University of Cyprus, Nicosia, Cyprus

, 
Kouzapas Dimitrios

About Kouzapas Dimitrios

(Department of Computer Science, University of Cyprus, Nicosia, Cyprus)

About Department of Computer Science, University of Cyprus, Nicosia, Cyprus

, 
Kapitsaki Georgia M.

About Kapitsaki Georgia M.

(Department of Computer Science, University of Cyprus, Nicosia, Cyprus)

About Department of Computer Science, University of Cyprus, Nicosia, Cyprus

, 
Philippou Anna

About Philippou Anna

(Department of Computer Science, University of Cyprus, Nicosia, Cyprus)

About Department of Computer Science, University of Cyprus, Nicosia, Cyprus


Material：
Communications in Computer and Information Science

About Communications in Computer and Information Science


Volume： 1172  Page： 135-162  Publication year： 2020 
JST Material Number： W5071A  ISSN： 1865-0929  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Abstract: Software systems now...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0470969&from=J-GLOBAL&jstjournalNo=W5071A") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*software design

About software design

, 
data protection

About data protection

, 
privacy

About privacy


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
静的解析

About 静的解析

, 
システム開発

About システム開発

, 
プライバシー保護

About プライバシー保護

, 
ソフトウェアシステム

About ソフトウェアシステム

, 【Automatic Indexing@JST】
Author keywords (7)：
GDPR

About GDPR

, 
Privacy protection

About Privacy protection

, 
Consent

About Consent

, 
Purpose

About Purpose

, 
[Formula : see text]-calculus

About [Formula : see text]-calculus

, 
Static analysis

About Static analysis

, 
Privacy by design

About Privacy by design

JST classification (2)：
JST classification
Category name(code) classified by JST.
Data protection 
(JD01020V)

About Data protection

,  Computer system development 
(JD02010R)

About Computer system development

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
ソフトウェア設計

About ソフトウェア設計

, 
モデル解析

About モデル解析

, 
フレームワーク

About フレームワーク


Return to Previous Page

TOP

BOTTOM