Name
Title | ||
|---|---|---|
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007 |
Year | Venue | DocType |
|---|---|---|
2007 | FMSE | Conference |
ISBN | Citations | PageRank |
isbn | 10 | 1.53 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Peng Ning | 1 | 6868 | 386.15 |
| Vijayalakshmi Atluri | 2 | 3256 | 424.98 |
| Virgil D. Gligor | 3 | 4133 | 513.94 |
| Heiko Mantel | 4 | 770 | 50.29 |