Search
Search Constraints
You searched for: Date 2014 Author/Creator Mu, DejunLimit your search
- Mu, Dejun [remove] 1
- 005.8 1
- Computer networks -- Security measures -- Periodicals 1
- Computer security -- Periodicals 1
- Cryptography -- Periodicals 1
- Database security -- Periodicals 1
- bottom up approach -- verifiable embedded system information flow security -- security holes -- access control -- data encryption -- information flow controls -- instruction set architecture -- operating system -- programming language -- input‐output architecture 1
- embedded systems -- formal verification -- instruction sets -- operating systems (computers) -- security of data 1