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

Wahsheh, Luay A.; Alves-Foss, Jim

doi:10.3844/jcssp.2007.726.735

Cited by 4 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The layered queuing network solver, the model supports forwarding technique to clients (Barati, 2008;Bause, 1993;Wahsheh and Alves, 2007;Yang et al, 2007). The early replies are used to reduce the response time by replying to a client before all of its work at a server is completed.…”

Section: Methodsmentioning

confidence: 99%

Study of Performance Analysis in Wired and Wireless Network

Kirubanand¹

2011

American Journal of Applied Sciences

View full text Add to dashboard Cite

Problem statement:The main intent of this study is to derive a high performance clientserver network using hub, switch, Bluetooth, WI-Fi and Wimax using the steadfast algorithms. Approach: This study mainly focuses on M/M (a,b)/1 markovian model with adaboost algorithm and user selection algorithms to find performance on wired and wireless technologies in terms of service rate, arrival rate, Expected waiting time and Busy period. When comparing the wireless technologies with wired technologies in term of inter-arrival and inter-service time it has been found that the wireless technologies are better. Adaboost algorithm in between client-server is to deliver the data packets to the destination without any loss and also to boost the data packets to the destination when there occurs congestion in network. The main intention of user selection algorithm is to select the appropriate user one who have highest priority in the queue. If more than one user has the highest priority then a user is selected at random from among them with uniform probability. It also have been found that, in wireless technologies the data transaction in between client-server using Wimax technology is very efficient in M/M (a,b)/1 for implementation with adaboost and user selection algorithm in terms of arrival rate, service rate, Expected waiting time and Busy period implementation. Results: The values obtained from the bluetooth technology can use for calculating the performance of other wireless technologies. Conclusion/Recommendation: In order to provide security for the data packets which flows inside the network, we use RSA algorithm which gives elevated security measures.

show abstract

Section: Methodsmentioning

confidence: 99%

Study of Performance Analysis in Wired and Wireless Network

Kirubanand¹

2011

American Journal of Applied Sciences

View full text Add to dashboard Cite

show abstract

“…The abstracts for these publications can be found in final section of this report. Publications related to design and analysis of MILS system are filed under the following keys: Alves-Foss02a [29], Alves-Foss04a [32], Alves-Foss04b [34], Alves-Foss06a [30], ConteDeLeon02b [81], ConteDeLeon06a [82], ConteDeLeon06b [83], ConteDeLeon07a [84], Dai03a [88], Hanebutte05a [124], Harrison05a [127], Joy06a [135], Oman04a [209], Robinson07a, [221], Robinson07b [222], Robinson07c [223], Rossebo06a [227], Son06a [246], Son07a [247], Son08a [245], Taylor04a [254], Wahsheh06a [261], Wahsheh07a [262], Wahsheh07b [263], Wahsheh08a [260], Wahsheh08b [264], Wahsheh08c [265], Wang06e [267], Wang06f [266], Yang05d [274], Zhou06c [287], and Zhou08a [285].…”

Section: Computation Sequential Exponentiationmentioning

confidence: 99%

Network Authentication Protocol Studies

Alves-Foss¹,

Oman²

2009

Self Cite

View full text Add to dashboard Cite

Using Government drawings, specifications, or other data included in this document for any purpose other than Government procurement does not in any way obligate the U.S. Government. The fact that the Government formulated or supplied the drawings, specifications, or other data does not license the holder or any other person or corporation; or convey any rights or permission to manufacture, use, or sell any patented invention that may relate to them. This report was cleared for public release by the 88 th ABW, Wright-Patterson AFB Public Affairs Office and is available to the general public, including foreign nationals. Copies may be obtained from the Defense Technical Information Center (DTIC) (http://www.dtic.mil).

show abstract

“…Significant related work regarding security policies had been reported in the literature, including our earlier work [2], [18], [19]. In this section, we focus on related policy work regarding Prolog and visualization techniques.…”

Section: Related Workmentioning

confidence: 99%

Formal Verification and Visualization of Security Policies

Wahsheh¹,

Leon²,

Alves-Foss³

2008

JCP

Self Cite

View full text Add to dashboard Cite

Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes in the development, deployment, and maintenance of such systems. In this paper, we introduce an expert system that helps with the design and implementation of security policies. We show how Prolog is used to verify system correctness with respect to policies using a theorem prover. Managing and visualizing information in high assurance computer systems are challenging tasks. To simplify these tasks, we show how a graph-based visualization tool is used to validate policies and provide system security managers with a process that enables policy reviews and visualizes interactions between the system’s entities. The tool provides not only a representation of the formal model, but also its execution. The introduced executable model is a formal specification and knowledge representation method.

show abstract

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

Cited by 4 publications

References 14 publications

Study of Performance Analysis in Wired and Wireless Network

Study of Performance Analysis in Wired and Wireless Network

Network Authentication Protocol Studies

Formal Verification and Visualization of Security Policies

Contact Info

Product

Resources

About