共 22 条
- [1] Audsley AN(1993)Applying new scheduling theory to static priority pre-emptive scheduling Softw Eng J 8 284-292
- [2] Burns A(1976)A lattice model of secure information flow Commun ACM 19 236-243
- [3] Richardson M(2009)Static security optimization for real-time systems IEEE Trans Ind Inform 5 22-37
- [4] Tindell K(1973)Scheduling algorithms for multiprogramming in a hard-real-time environment J. ACM 20 46-61
- [5] Denning DE(2008)Secure operation, control, and maintenance of future E-enabled airplanes IEEE Proc 96 1992-2007
- [6] Lin M(2000)Integrating security and real-time requirements using covert channel capacity IEEE Trans Knowl Data Eng 12 865-879
- [7] Xu L(2007)Improving security for periodic tasks in embedded systems through scheduling ACM Trans Embed Comput Syst 6 20-undefined
- [8] Yang L(undefined)undefined undefined undefined undefined-undefined
- [9] Qin X(undefined)undefined undefined undefined undefined-undefined
- [10] Zheng N(undefined)undefined undefined undefined undefined-undefined