网上证券交易系统相关论文
基于时序Petri网对我国现行网上静态的动态证券交易系统进行了模拟，形式描述及功能正确性验证，应用时序逻辑推理规则，从形式上严格证......
介绍了河南省驻马店地区证券公司的网上交易系统的结构及网络系统和数据传输系统的安全问题;最后对该系统的优缺点进行了分析.......
