Chapter title |
Stratified Abstraction of Access Control Policies
|
---|---|
Chapter number | 9 |
Book title |
Computer Aided Verification
|
Published by |
Springer, Cham, July 2020
|
DOI | 10.1007/978-3-030-53288-8_9 |
Book ISBNs |
978-3-03-053287-1, 978-3-03-053288-8
|
Authors |
John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan, Backes, J, Berrueco, U, Bray, T, Brim, D, Cook, B, Gacek, A, Jhala, R, Luckow, K, McLaughlin, S, Menon, M, Peebles, D, Pugalia, U, Rungta, N, Schlesinger, C, Schodde, A, Tanuku, A, Varming, C, Viswanathan, D, Backes, John, Berrueco, Ulises, Bray, Tyler, Brim, Daniel, Cook, Byron, Gacek, Andrew, Jhala, Ranjit, Luckow, Kasper, McLaughlin, Sean, Menon, Madhav, Peebles, Daniel, Pugalia, Ujjwal, Rungta, Neha, Schlesinger, Cole, Schodde, Adam, Tanuku, Anvesh, Varming, Carsten, Viswanathan, Deepa |
X Demographics
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Demographic breakdown
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Mendeley readers
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 8 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 3 | 38% |
Unspecified | 1 | 13% |
Student > Doctoral Student | 1 | 13% |
Unknown | 3 | 38% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 4 | 50% |
Unspecified | 1 | 13% |
Unknown | 3 | 38% |