Name
Year | DOI | Venue |
|---|---|---|
1985 | 10.1145/1012497.1012545 | ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop |
Keywords | DocType | Volume |
security model | Journal | 10 |
Issue | Citations | PageRank |
4 | 0 | 0.34 |
References | Authors | |
2 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Carl E. Landwehr | 1 | 2783 | 406.03 |