2018 5th International Conference on Dependable Systems and Their Applications (DSA)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538692660

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating Permission-Based Security Policies

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00013 ◽

2018 ◽

Author(s):

Xin Li ◽

Hua Vy Le Thanh ◽

Yuxin Deng ◽

Julian Dolby

Keyword(s):

Security Policies

Download Full-text

Copyright Page

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00003 ◽

2018 ◽

Download Full-text

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00005 ◽

2018 ◽

Download Full-text

Author Index

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00033 ◽

2018 ◽

Download Full-text

Method-Level Permission Analysis Based on Static Call Graph of Android Apps

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00014 ◽

2018 ◽

Author(s):

Yan Hu ◽

Weiqiang Kong ◽

Deng Ding ◽

Jun Yan

Keyword(s):

Call Graph ◽

Android Apps

Download Full-text

An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00018 ◽

2018 ◽

Author(s):

Wei Jiang ◽

Siwei Zhou ◽

Luyao Ye ◽

Dongdong Zhao ◽

Jing Tian ◽

...

Keyword(s):

Fault Tree ◽

Binary Decision Diagram ◽

Binary Decision ◽

Dynamic Fault Tree

Download Full-text

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00015 ◽

2018 ◽

Cited By ~ 8

Author(s):

Congcong Ye ◽

Guoqiang Li ◽

Hongming Cai ◽

Yonggen Gu ◽

Akira Fukuda

Download Full-text

Title Page iii

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00002 ◽

2018 ◽

Keyword(s):

Title Page

Download Full-text

Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00031 ◽

2018 ◽

Author(s):

Shouki Sakamoto ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mutual Exclusion ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion Algorithm

Download Full-text

A Multi-Chain Model for CBDC

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00016 ◽

2018 ◽

Cited By ~ 3

Author(s):

Wei-Tek Tsai ◽

Zihao Zhao ◽

Chi Zhang ◽

Lian Yu ◽

Enyan Deng

Keyword(s):

Chain Model

Download Full-text

2018 5th International Conference on Dependable Systems and Their Applications (DSA)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Generating Permission-Based Security Policies

Copyright Page

Table of Contents

Author Index

Method-Level Permission Analysis Based on Static Call Graph of Android Apps

An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting

Title Page iii

Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN

A Multi-Chain Model for CBDC

Export Citation Format

2018 5th International Conference on Dependable Systems and Their Applications (DSA)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Generating Permission-Based Security Policies

Copyright Page

Table of Contents

Author Index

Method-Level Permission Analysis Based on Static Call Graph of Android Apps

An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting

Title Page iii

Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN

A Multi-Chain Model for CBDC

2018 5th International Conference on Dependable Systems and Their Applications (DSA)
Latest Publications