Firewalls are very important in Internet for providing security and privacy. Firewalls checks each incoming and outgoing packets based on its rules set in their policies. As per the vast requirement of services on internet the rule set in firewall policies becomes large, so the increasing number of rules in a firewall policy reduces its throughput. So, optimizing the firewalls is very important...

In this paper we discuss the methodology and results of testing the Java Card applet firewall mechanism. The main motivation for this work is the complexity of the firewall. Given the complexity, non-compliance of the cards with respect to the official specification is not unlikely. Firewall implementation faults may lead to serious security issues. Although we did not discover any serious prob...

This paper presents a constraint-based static analysis to prove security (confidentiality) properties of Java Card programs. We define a subset of the Java Card bytecode focussing on aspects of the Java Card firewall, method invocation, field access, variable access, shareable objects and contexts and present an analysis to compute an approximation of the set of possible value stored in each va...

A network firewall is a widespread means to enforce a security policy, however it remains a network device. Such a duality has caused a somewhat independent way of firewall development from other security management methods. Following the way firewall vendors are focused on performance problems while management issues don’t receive enough attention. Firewalls have grown to complicated computer ...

Dengan perkembangan dunia digital yang terus berkembang, penggunaan teknologi informasi menghasilkan sejumlah besar data berharga, dengan adanya berharga ini membuat perusahaan menyimpannya memiliki risiko terhadap serangan siber. Salah satu ancaman siber umum terjadi adalah SQL Injection dapat memanipulasi hak akses dan menyebabkan kebocoran data, kehilangan ke dalam database. Sehingga organis...

Firewalls are key security components in computer networks. They filter network traffics based on an ordered list of filtering rules. Firewall configurations must be correct and complete with respect to security policies. Security policy is a set of predicates, which is a high level description of traffic controls. In this paper, we propose an automatic method to verify the correctness of firew...

En la actualidad existe una gran diversidad de dispositivos conectados a red Internet. Esto conlleva un mayor riesgo para información que se envía entre estos dispositivos. Los actualmente son protegidos por sistemas Firewall. este sentido, Pfsense es software Firewall proteger comunicación trabajo presenta el proceso instalación y configuración en máquina virtual VirtualBox. Además, VirtualBox...