Applying the take-grant protection model [[electronic resource] /] / Matt Bishop
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A model of security monitoring [[electronic resource] /] / Matt Bishop
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The sharing of rights and information in a capability-based protection system [[electronic resource] /] / Matt Bishop
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theft of information in the take-grant protection model [[electronic resource] /] / Matt Bishop
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||