Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Norman Proctor"'
Autor:
Norman Proctor
Publikováno v:
Advances in Cryptology ISBN: 9783540156581
CRYPTO
CRYPTO
A cipher system used for secure communication over a noisy channel can automatically synchronize the sender and receiver by computing a stateless function of a key and a limited amount of the recent cipher-text. The more ciphertext feedback is used,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df4bd5923ddae12ffe82f5b6bf758fc4
https://doi.org/10.1007/3-540-39568-7_16
https://doi.org/10.1007/3-540-39568-7_16
Publikováno v:
IEEE Transactions on Software Engineering. :151-156
Muse is a verification system which extends the collection of tools developed by SRI International for their Hierarchical Development Methodology (HDM). It enhances the SRI system by providing a capability for proving invariants and constraints for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a0ac895c149ed0967f3b4d3a3fa43da
https://doi.org/10.1109/tse.1987.226477
https://doi.org/10.1109/tse.1987.226477
Autor:
Norman Proctor
Publikováno v:
IEEE Symposium on Security and Privacy
The formal verification performed by SYTEK as part of the development and security assurance of NASA's Restricted Access Processor (RAP) represents important progress toward the verification of medium-scale and large-scale systems in the real world.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52f654d638d46fd993b7be48b155f798
https://doi.org/10.1145/1012497.1012547
https://doi.org/10.1145/1012497.1012547
Publikováno v:
IEEE Symposium on Security and Privacy
Muse is a verification system which extends the collection of tools developed by SRI for their Hierarchical Development Methodology (HDM). It enhances the SRI system by providing a capability for proving invariants and constraints for the state machi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01eb2efcb7377dcca6420cf0618659ce
https://doi.org/10.1109/sp.1986.10011
https://doi.org/10.1109/sp.1986.10011
This report is a summary of the Multilevel Object Security Model (MOSM) project. The MOSM effort involved the development of an intermediate-level security model which satisfies the requirements of the Bell-Lapadula model and the NRL model, while inc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acd17828c6ae01ecb99844a1385ee2db
https://doi.org/10.21236/ada169187
https://doi.org/10.21236/ada169187
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.