Name
Abstract | ||
|---|---|---|
We report on a case study in secure programming, focusing on the design, implementation and auditing of programs for playing the board game Battleship. We begin by precisely defining the security of Battleship programs, borrowing ideas from theoretical cryptography. We then consider three implementations of Battleship: one in Concurrent ML featuring a trusted referee; one in Haskell/LIO using information flow control to avoid needing a trusted referee; and one in Concurrent ML using access control to avoid needing such a referee. All three implementations employ data abstraction in key ways. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2637113.2637115 | PLAS@ECOOP |
Keywords | Field | DocType |
security and protection,security,information flow control,concurrent functional programming,language constructs and features,real/ideal paradigm,auditing,data abstraction,access control | Information flow (information theory),Abstraction,Programming language,Cryptography,Computer science,Computer security,Implementation,Access control,Concurrent ML,Haskell,Battleship | Conference |
Citations | PageRank | References |
3 | 0.38 | 13 |
Authors | ||
7 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alley Stoughton | 1 | 15 | 3.31 |
| Andrew Johnson | 2 | 8 | 3.28 |
| Samuel Beller | 3 | 3 | 0.38 |
| Karishma Chadha | 4 | 3 | 0.38 |
| Dennis Chen | 5 | 23 | 1.51 |
| Kenneth Foner | 6 | 3 | 0.71 |
| Michael Zhivich | 7 | 3 | 0.38 |