The foundations of a provably secure operating system (PSOS).
Richard J. FeiertagPeter G. NeumannPublished in: MARK (1979)
Keyphrases
- operating system
- provably secure
- particle swarm optimization pso
- convergence speed
- particle swarm optimization
- pso algorithm
- standard model
- key management
- security model
- computer systems
- global optimization
- signature scheme
- public key
- hash functions
- virtual machine
- particle swarm optimization algorithm
- differential evolution
- genetic algorithm ga
- optimization algorithm
- diffie hellman
- multi objective
- ant colony optimization
- distributed systems
- simulated annealing
- microsoft windows
- data mining
- security analysis
- red hat
- security mechanisms
- wireless sensor networks
- database systems
- information systems
- genetic algorithm