Distributed System Security via Logical Frameworks (SeLF)

Mapping Intimacies ◽

10.21236/ada476337 ◽

2008 ◽

Author(s):

Lujo Bauer ◽

Frank Pfenning ◽

Michael Reiter ◽

Kaustav Chaudhuri ◽

Deepak Garg ◽

...

Keyword(s):

Distributed System ◽

System Security ◽

Logical Frameworks

Download Full-text

Proceedings 2021 Network and Distributed System Security Symposium

10.14722/ndss.2021 ◽

2021 ◽

Keyword(s):

Distributed System ◽

System Security

Download Full-text

Trust based risk management for distributed system security - a new approach

First International Conference on Availability, Reliability and Security (ARES'06) ◽

10.1109/ares.2006.139 ◽

2006 ◽

Cited By ~ 14

Author(s):

C. Lin ◽

V. Varadharajan

Keyword(s):

Risk Management ◽

Distributed System ◽

System Security ◽

New Approach

Download Full-text

Factors Affecting Distributed System Security

IEEE Transactions on Software Engineering ◽

10.1109/tse.1987.233148 ◽

1987 ◽

Vol SE-13 (2) ◽

pp. 233-248 ◽

Cited By ~ 25

Author(s):

D.M. Nessett

Keyword(s):

Distributed System ◽

System Security ◽

Factors Affecting

Download Full-text

A Formal Approach to Distributed System Security Test Generation

International Journal of Computer Trends and Technology ◽

10.14445/22312803/ijctt-v16p130 ◽

2014 ◽

Vol 16 (3) ◽

pp. 121-127 ◽

Cited By ~ 1

Author(s):

Vladimir A Khlevnoy ◽

◽

Andrey A Shchurov

Keyword(s):

Distributed System ◽

Test Generation ◽

System Security ◽

Formal Approach ◽

Security Test

Download Full-text

Proceedings 2016 Network and Distributed System Security Symposium

10.14722/ndss.2016 ◽

2016 ◽

Cited By ~ 1

Keyword(s):

Distributed System ◽

System Security

Download Full-text

Proceedings of the Symposium on Network and Distributed System Security

10.1109/ndss.1995 ◽

1995 ◽

Keyword(s):

Distributed System ◽

System Security

Download Full-text

Proceedings 2020 Network and Distributed System Security Symposium

10.14722/ndss.2020 ◽

2020 ◽

Keyword(s):

Distributed System ◽

System Security

Download Full-text

Proceedings 2018 Network and Distributed System Security Symposium

10.14722/ndss.2018 ◽

2018 ◽

Cited By ~ 1

Keyword(s):

Distributed System ◽

System Security

Download Full-text

Factors Affecting Distributed System Security

1986 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1986.10003 ◽

1986 ◽

Cited By ~ 2

Author(s):

D. M. Nessett

Keyword(s):

Distributed System ◽

System Security ◽

Factors Affecting

Download Full-text

Proceedings 2019 Network and Distributed System Security Symposium

10.14722/ndss.2019 ◽

2019 ◽

Cited By ~ 1

Keyword(s):

Distributed System ◽

System Security

Download Full-text