Policy-Based Security for Wireless Components in High Assurance Computer Systems

Luay A. Wahsheh; Jim Alves-Foss

doi:10.3844/jcssp.2007.726.735

Policy-Based Security for Wireless Components in High Assurance Computer Systems

Journal of Computer Science ◽

10.3844/jcssp.2007.726.735 ◽

2007 ◽

Vol 3 (9) ◽

pp. 726-735 ◽

Cited By ~ 1

Author(s):

Luay A. Wahsheh ◽

Jim Alves-Foss

Keyword(s):

Computer Systems ◽

High Assurance

Download Full-text

High Assurance Computer Systems: A Research Agenda

10.21236/ada465571 ◽

1995 ◽

Cited By ~ 6

Author(s):

John McLean ◽

Constance Heitmeyer

Keyword(s):

Research Agenda ◽

Computer Systems ◽

High Assurance

Download Full-text

Formal Methods for Developing High Assurance Computer Systems: Working Group Report

10.21236/ada464973 ◽

1998 ◽

Cited By ~ 1

Author(s):

Mats P. Heimdahl ◽

Constance L. Heitmeyer

Keyword(s):

Formal Methods ◽

Working Group ◽

Computer Systems ◽

Group Report ◽

High Assurance

Download Full-text

Formal methods for developing high assurance computer systems: working group report

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766298 ◽

2002 ◽

Cited By ~ 2

Author(s):

M.P.E. Heimdahl ◽

C.L. Heitmeyer

Keyword(s):

Formal Methods ◽

Working Group ◽

Computer Systems ◽

Group Report ◽

High Assurance

Download Full-text

A high assurance timing synchronization technology for space on-board distributed computer systems

7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. ◽

10.1109/hase.2002.1173107 ◽

2003 ◽

Cited By ~ 1

Author(s):

H. Yashiro ◽

Y. Takahashi ◽

T. Fujiwara

Keyword(s):

Computer Systems ◽

Timing Synchronization ◽

High Assurance ◽

Distributed Computer Systems

Download Full-text

All-Optical Routing for High Assurance Computer Systems

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.18 ◽

2007 ◽

Author(s):

Ekpe Okorafor

Keyword(s):

Computer Systems ◽

All Optical ◽

High Assurance ◽

Optical Routing

Download Full-text

Future directions in HF and computer systems: A meeting report

PsycEXTRA Dataset ◽

10.1037/e574032012-022 ◽

1983 ◽

Author(s):

Paul Green

Keyword(s):

Computer Systems ◽

Meeting Report ◽

Future Directions

Download Full-text

Computer Systems and Water Resources

10.1016/s0167-5648(08)x7005-4 ◽

1974 ◽

Keyword(s):

Water Resources ◽

Computer Systems

Download Full-text

A Method of Risk Analysis for Computer Systems

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.108.4_260 ◽

1988 ◽

Vol 108 (4) ◽

pp. 260-267

Author(s):

Kazuo Takaragi ◽

Ryoichi Sasaki ◽

Yasuhiko Nagai

Keyword(s):

Risk Analysis ◽

Computer Systems

Download Full-text

Use of parallel computer systems for high Reynolds flow simulation

Proceedings of the Sixth International Symposium On Turbulence, Heat and Mass Transfer ◽

10.1615/ichmt.2009.turbulheatmasstransf.900 ◽

2009 ◽

Author(s):

Boris N. Chetverushkin ◽

E. V. Shilnikov

Keyword(s):

Computer Systems ◽

Flow Simulation ◽

Parallel Computer ◽

High Reynolds

Download Full-text

Flexible buffer management with thresholds and blocking for congestion control in multi-server computer systems

Theoretical and Applied Informatics ◽

10.2478/v10179-010-0018-9 ◽

2010 ◽

Vol 22 (1) ◽

Cited By ~ 1

Author(s):

Walenty Oniszczuk

Keyword(s):

Congestion Control ◽

Computer Systems ◽

Buffer Management ◽

Multi Server ◽

Server Computer

Download Full-text