To search, Click below search items.

 

All Published Papers Search Service

Results for ; Total 10849

Title

Formal Network Designs for Critical Network Security Systems

Author

Dea-Woo Park

Citation

Vol. 6  No. 4  pp. 172-178

Keywords

Critical Systems, Risk Management, Security Requirements, Security Policy, Formal Methods


Title

Vaccine Distribution Path Optimization in Agent-Oriented Worm Defense System

Author

Ye Guo, Miaoliang Zhu

Citation

Vol. 6  No. 4  pp. 166-171

Keywords

Internet Worm; Agent; Network security.


Title

Automatic Identification of Log-curve Formation Based on Wavelet-SVM

Author

Fuhua Shang, Tiejun Zhao, Xiujie Miao

Citation

Vol. 6  No. 4  pp. 162-165

Keywords

Log-curve, process SVM, wavelet transform.


Title

Combining Coordinated and Uncoordinated Checkpoint in Pessimistic Sender-Based Message Logging

Author

Mehdi Aminian, Mohammad k. Akbari, Bahman Javadi

Citation

Vol. 6  No. 4  pp. 156-161

Keywords


[1] ... [prev] [2651] [2652] [2653] [2654] [2655] [2656] [2657] [2658] [2659] [2660] [next] ... [2713]