Year | DOI | Venue |
---|---|---|
1990 | 10.1109/RISP.1990.63861 | IEEE Symposium on Security and Privacy |
Keywords | Field | DocType |
formal specification,program verification,security of data,A1,Cartesiana,formal construction,formal methods,program level verification,provably secure systems,quality criteria,software construction | Embedded software,Software engineering,Constructive,Computer security,Computer science,Formal specification,Software,Formal methods,Software construction | Conference |
Citations | PageRank | References |
1 | 0.36 | 0 |
Authors | ||
2 |