FTP Proxy Server Design Based on Petri Net Description

范训礼,景广军,陈力军

DOI: https://doi.org/10.3969/j.issn.1000-3428.2002.02.061

2002-01-01

Abstract:This paper provides an idea which implements the FTP transparent proxy server with the Petri net description, and makes detailed analysis for the work flow. In the end, we develop the FTP proxy server for the distributed firewall with the given idea. ;;

What problem does this paper attempt to address?

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

Wei-min WU,Hong-ye SU,Jian CHU

DOI: https://doi.org/10.3969/j.issn.1000-8152.2003.02.013

2003-01-01

Abstract:The basic idea behind FCP (finite capacity places) method has been introduced in Part 1. In this sequel, the synthesis algorithm of Petri net controller for DES to enforce the general case of the constraint is presented and the maximal permissiveness of FCP method is proved. In addition, the reported example of AGV (automated guided vehicles) coordination system is used to illustrate the advantages and characteristics of FCP method.
Design Change Based on Network Flow Petri Net Model

LIU Xiao-jian,ZHANG Shu-you,XU Jing-hua

DOI: https://doi.org/10.3785/j.issn.1008-973x.2011.01.006

2011-01-01

Abstract:Impact prediction was incorporated with the dynamic expression of network in order to realize the impact prediction of design change in network flow system,and a dynamic model based on network flow Petri net(NFPN) was proposed to predict these impacts.Petri net was utilized to describe network flow and its design changes,and the NFPN dynamic model was established.The construction of full reachable graph of Petri net was associated with the impact prediction of change based on the analysis of hierarchical network flow.The analysis of the integral network was recursively accomplished through the simplification of reachable graph by multi-level Abstraction.Application to the reconstruction and design of distribution network verified the feasibility and validity of the method.The method greatly reduces the complexity of state space,and is applicable to large scale and complicated network.
Flexible Design Modeling Methodology for MEMS Based on Petri Net

Jinghua Xu,Shuyou Zhang,Xiaojian Liu

2009-01-01

Abstract:Micro-scale effect and multi-field coupling are characteristics of the design of micro-electro-mechanical system (MEMS). However, the current macroscopic structure-oriented CAD systems have not been able to meet the increasing requirements for the design in micrometer scale. Therefore, a flexible design modeling methodology for MEMS based on Petri net is put forward. Firstly, the highly cohesive and low coupling modules are obtained via refining and abstracting the existing CAD systems on the basis of analyzing the design characteristics, framework and process of MEMS. Secondly, the flexible design modeling framework for MEMS based on Petri net is built by associating the Petri net with the modules of the design system. Then, the forward-position places and weighted directed arcs are added to regulate the maximum and minimum tokens of the places to control the number of design flow. Afterwards, the control places are added to format control loops and make concurrent transitions occur orderly to solve the conflicts in concurrent design. Finally, the modules are controlled to operate with the state space results of Petri net. The multiple relationships between the complex design flows are then realized. An independent prototype system using ACIS as geometry modeling kernel has been developed to validate the proposed method with the design of capacitive 3D silicon micro comb drive. The test results proved that the present design methods are extended from top-down, bottom-up and hybrid to flexible design based on Petri net. The product design is no longer restricted to fixed process. It has important significance to improve efficiency and quality of the design of MEMS.
The Design of Host-Computer Software for the EPA Control Net

TAO Li,FENG Dong-qin,JIN Jian-xiang,CHU Jian

DOI: https://doi.org/10.3969/j.issn.1000-0682.2006.05.006

2006-01-01

Abstract:This paper presents a design conception for a hostcomputer software system applicable to the EPA industrial control net.This software system comprises configuration software,monitor software and database along with a kind of additional net management software.The paper also makes studies of the design of the function and program frame-work of the net management software,and puts forward a feasible project for implementation.
Analysis of clock synchronization protocol security using colored Petri net

Dong-qin FENG,Jia-jun SHEN,Jian CHU

DOI: https://doi.org/10.13195/j.kzyjc.2013.1177

2014-01-01

Abstract:With the development of the industrial ethernet, the clock synchronization protocol which is the core technology of industrial ethernet real-time has become crucial. For the problem of the clock synchronization protocol security, a method for analyzing the clock synchronization protocol security using colored Petri net is proposed. Firstly, the protocol is modeled by using colored Petri net. Then the reachability of possible insecurity state is judged and analyzed by using the model through state equation, thus the security analysis of the clock synchronization protocol is realized. Finally, a clock synchronization protocol based on PTP and the main-clock spoofing attack aiming at this protocol are analyzed by using this method, and the result shows the effectiveness of the proposed method.
The Internet Extension of Paperless Recorder System

Hao Ma,Dongqin Feng,Jianxiang Jin

DOI: https://doi.org/10.3969/j.issn.1000-0380.2006.06.016

2006-01-01

Abstract:According to the design concept of thin HTTP server,based on analysis of design for embedded Web server,the traditional Internet extension for paperless recorder is studied.The concrete functional demands of the network paperless recorder were analyzed in detail,and then its design frame was confirmed.The network paperless recorder system was divided into two parts:the server was made up of Ethernet interface module,TCP/IP protocol stack module,HTTP server module and embedded file system module;the client,a virtual instrument,was designed by ActiveX technique to fulfill the Internet extension.According to the implementing method,a generalized Internet extension strategy for(instruments) is proposed.
Design of Network Teaching System Based on PtoP

吴志航,陈德人

DOI: https://doi.org/10.3969/j.issn.1000-3428.2002.06.093

2002-01-01

Abstract:Though the static Web application based on the B/S is still the main mode of the network teaching, it lacks the efficient and ,convenient intercommunion method and takes much high cost on the server application. To build an efficientstable and low price network teaching system based on the new Internet technology becomes an emergent subject. Compared with the current mode, the network teaching system mode based on peer-to-peer technology has a compatible, free function.
A formal model of OSI X. 25/FR gateway based on high level Petri Net

Pan Li,Gu Shangjie Zhu Hongwen

2001-01-01

Abstract:Specification and validation of protocol conversion in a gateway is a difficult problem in protocol engineering. During design and implementation of an OSI X.25 /FR gateway, a high-level Petri Net called EPr/TN is introduced as a formal specification tool to solve this problem. A formal model of the gateway is constructed by using Epr/TN. Based on this model, the process of protocol conversion and data transmission in the gateway are analyzed and validated. With object-oriented techniques, this model is also utilized in the software development of the gateway.
Optimized Scheme About the Parallel Files Transmitting Based on Petri Net

Yue Xiao

2003-01-01

Abstract:Petri net is a kind of model fit for describing asynchronous and intercurrent phenomenon.Petri net analytic technique can be applied to static structure,as well as to dynamic structure.It is the most suitable for expressing the parallelism and the relativity between events.In the condition of distributed net,for designing the scheme of parallel files transmitting,the traditional method is adopting linear programming method.This method need to calculate enormous linear equation group.Optimized scheme about the parallel files transmitting based on Petri net can shortcut this process greatly,and can obtain intuitionistic and perfect effect.
Network Programming Technique and Its Realization Based on Socket

刘骏,颜钢锋

DOI: https://doi.org/10.3969/j.issn.1671-7147.2004.03.007

2004-01-01

Abstract:The paper introduces the process communication procedure and its specific realization between the client and server based on TCP protocol. Based on the introduction, the paper propose the methods and features of network socket programming using Delphi. An instance of file transfer and distant system control is also presented.
On the Implementation of a Firewall Based on Linux Platform

范训礼,景广军

DOI: https://doi.org/10.3969/j.issn.1000-2758.2002.03.011

2002-01-01

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University

Abstract:This paper presents a firewall system based on Linux - L-Firewall, which combines packet filter and proxy technology. Proxy and authentication are implemented on B1 level operating system. The paper emphasizes on the L-Firewall frame, especially on the implementation of packet filter module. L-Firewall provides not only HTTP, FTP proxy and packet filter, but also content filter, network address translation to protect network from IP spoofing and IP source route spoofing. L-Firewall tallies with GB/T17900-1999 and GB/T18020-1999.
A Transparent Gateway and Proxy Solution Based on Squid on Linux

张秀岭,万旻,骆建彬,邓宪

DOI: https://doi.org/10.3969/j.issn.2095-347x.2004.05.005

2004-01-01

Abstract:A Transparent Galeway and Proxy Solution Based on Squid on Linux will be introduced. The intranet can access the internet by this transparent gateway, and the outside net can use the squid cache by proxy technology. Some scripts about changing proxy port and authentication password automati-cally and dening the vicious user will be given. With the cache saved on the gateway disk, the speed of about 40% requests will be raised.
Design of Share-supported Ftp Client

LIN Geng-Shi,ZHAO Jian-Hua,ZHENG Guo-Liang

2007-01-01

Computer Science

Abstract:This article introduces the design of a new Ftp client. It can make use of the local network resource, realizes the sharing and the convenient quick downloading. This client software is mainly applied to the users who have the common interests and work at the same LAN or the adjacent network, for example the research group on the same re- search direction. This software based on the P2P technology and Ftp technology can download file either from Ftp serv- er or from other peer client at the same LAN or the adjacent network. It also can provide files for other peer clients to share and download. This paper describes the design principles and main technologies.
Research of the Multi-protocol Proxy on the Application Layer Using Virtual C/S Model

Chen He

Abstract:This paper introduces the designing of the multiprotocol proxy on the application layer based on virtual C/S model. And FTP proxy is used as an example to illustrate the realization of the proposed designing scheme

Engineering,Computer Science
Design and implementation of real-time video proxy based on local area network

葛景国,朱政强,饶德林,倪纯珍,陈立功

DOI: https://doi.org/10.3969/j.issn.1002-8692.2003.07.026

2003-01-01

Abstract:A real-time video proxy based on Ethernet is introduced in this paper.The key technology of protocol design,working flow,launching configuration,command channel and circular buffer are described in detail.The video proxy imple-ments video stream receiving,recording,multi-path video transmitting and warning.[
Research on fuzzy petri net performance of welding flexible system

Guohong Ma,Shanben Chen,Tao Lin

2006-01-01

Abstract:The fuzzy theory and Petri net theory are adopted in this paper to model on robot welding flexible system. A STCPN model with fuzzy and multi information is designed. Combining Petri net theory, a way with borderline and conservation is designed to analyze fuzzy Petri net model. With this way, this paper proves FSTCPN model have those requested characteristics and results show that the model fulfills borderline and conservation of pure Petri net model. The research way can supply a reference to analyze performance of fuzzy Petri net model in the future in welding area.
FTP Luring Technology in Honeypots

李志军,秦志光,王璐

DOI: https://doi.org/10.3969/j.issn.1001-3695.2004.09.052

2004-01-01

Abstract:In the paper,we present a technology named FTP Luring to solve those problem.It can customize any FTP resource or "clone" a real FTP server.But all those resource are fake and we only give hacker the "List" privilege.So Hack believes they are true resource and want to hack it to possess of those resource.If honeypot are compromised,hacker doesn't acquire any useful information.FTP Luring technology improves honeypot practicability.At last,one kind of highefficient and security implementation of FTP Luring is given.
A Reference Model for Database Security Proxy

Cai Liang,Yang Xiao-hu,Dong Jin-xiang

DOI: https://doi.org/10.1631/bf02881838

2002-01-01

Journal of Zhejiang University SCIENCE A

Abstract:How to protect the database, the kernel resources of information warfare, is becoming more and more important since the rapid development of computer and communication technology. As an application-level firewall, database security proxy can successfully repulse attacks originated from outside the network, reduce to zerolevel damage from foreign DBMS products. We enhanced the capability of the COAST's firewall reference model by adding a transmission unit modification function and an attribute value mapping function, describes the schematic and semantic layer reference model, and finally forms a reference model for DBMS security proxy which greatly helps in the design and implementation of database security proxies. This modeling process can clearly separate the system functionality into three layers, define the possible security functions for each layer, and estimate the computational cost for each layer.
Design and Realizationg of Client Software Based on FTP Protocol

Song Xing

Abstract:FTP protocol and software, used to transmit files, is a complex technique and its many functions have not been developedin Internet. This paper introduced the software of FTP client,which is developed in the environment of win7 and JAVA. The software is carrying out file transmission and file operation between Client and Server in Internet/LAN. Integrated functions of the softwarewere the following:file uploading, file downloading, file browsing at client, file browsing at server and information feedback.The software has visual interfaces and the basic and common functions of FTP protocol.It is easy to use.

Computer Science
P2P Network Proxy System Based on HeteroPastry

伍伟绩,郑滔

DOI: https://doi.org/10.3969/j.issn.1000-3428.2009.24.046

2009-01-01

Abstract:For the problem that the centralized network proxy server would become a bottleneck,this paper provides a solution to network-proxy services.Nodes which participate in the system compose a Peer to Peer(P2P) overlay network based on HeteroPastry protocol,and the system chooses several appropriate nodes to form a proxy chain in order to response users’ varied requests.Experimental results show that the system can balance the load upon the network efficiently when providing high quality services.

FTP Proxy Server Design Based on Petri Net Description

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

Design Change Based on Network Flow Petri Net Model

Flexible Design Modeling Methodology for MEMS Based on Petri Net

The Design of Host-Computer Software for the EPA Control Net

Analysis of clock synchronization protocol security using colored Petri net

The Internet Extension of Paperless Recorder System

Design of Network Teaching System Based on PtoP

A formal model of OSI X. 25/FR gateway based on high level Petri Net

Optimized Scheme About the Parallel Files Transmitting Based on Petri Net

Network Programming Technique and Its Realization Based on Socket

On the Implementation of a Firewall Based on Linux Platform

A Transparent Gateway and Proxy Solution Based on Squid on Linux

Design of Share-supported Ftp Client

Research of the Multi-protocol Proxy on the Application Layer Using Virtual C/S Model

Design and implementation of real-time video proxy based on local area network

Research on fuzzy petri net performance of welding flexible system

FTP Luring Technology in Honeypots

A Reference Model for Database Security Proxy

Design and Realizationg of Client Software Based on FTP Protocol

P2P Network Proxy System Based on HeteroPastry