Name
Abstract | ||
|---|---|---|
This paper reports on our experience of using Alloy for analysis of system design in regard to changes in the security requirements. It presents some of technical details for the specification and analysis of the JAAS framework. The declarative way of writing specification, together with its analysis mechanism, Alloy is shown useful from a wide variety of viewpoints. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1145/1137627.1137637 | SESS@ICSE |
Field | DocType | ISBN |
Systems engineering,Viewpoints,Computer science,Systems design,Formal specification | Conference | 1-59593-411-1 |
Citations | PageRank | References |
2 | 0.44 | 13 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Shin Nakajima | 1 | 80 | 11.46 |
| Tetsuo Tamai | 2 | 334 | 33.27 |