Applying the take-grant protection model [[electronic resource] /] / Matt Bishop |
Autore | Bishop Matt (Matthew A.) |
Pubbl/distr/stampa | Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College |
Descrizione fisica | 1 online resource (26 pages) : illustrations |
Collana |
[NASA contractor report
Technical report |
Soggetto topico |
Access control
Computer information security Information flow Information transfer Models Policies Protection |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702279603321 |
Bishop Matt (Matthew A.) | ||
Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A model of security monitoring [[electronic resource] /] / Matt Bishop |
Autore | Bishop Matt (Matthew A.) |
Pubbl/distr/stampa | Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College |
Descrizione fisica | 1 online resource (23 pages) |
Collana | [NASA contractor report |
Soggetto topico |
Computer information security
Computer systems design Mathematical models Privacy |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702276403321 |
Bishop Matt (Matthew A.) | ||
Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The sharing of rights and information in a capability-based protection system [[electronic resource] /] / Matt Bishop |
Autore | Bishop Matt (Matthew A.) |
Pubbl/distr/stampa | Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College |
Descrizione fisica | 1 online resource (34 pages) : illustrations |
Collana |
[NASA contractor report
Technical report |
Soggetto topico |
Access control
Computer information security Theorem proving |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702276203321 |
Bishop Matt (Matthew A.) | ||
Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theft of information in the take-grant protection model [[electronic resource] /] / Matt Bishop |
Autore | Bishop Matt (Matthew A.) |
Pubbl/distr/stampa | Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College |
Descrizione fisica | 1 online resource (25 pages) : illustrations |
Collana |
[NASA contractor report
Technical report |
Soggetto topico |
Computer information security
Information dissemination Information transfer Operating systems (computers) Privacy |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702276003321 |
Bishop Matt (Matthew A.) | ||
Hanover, NH : , : Department of Mathematics and Computer Science, Dartmouth College | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|