메뉴 건너뛰기




Volumn , Issue , 2007, Pages 275-287

Stateful detection in high throughput distributed systems

Author keywords

[No Author keywords available]

Indexed keywords

BREAKDOWN (BD); DETECTION ACCURACY; DETECTION MECHANISM; DISTRIBUTED SYSTEMS; EXTERNAL FAULTS; FAULT TOLERANCE SYSTEM; HIGH DATA RATE (HDR); HIGH RATES; HIGH-THROUGHPUT (HT); INTERNATIONAL SYMPOSIUM; MONITOR (CO); RELIABLE DISTRIBUTED SYSTEMS; RELIABLE MULTICAST; TOLERANCE SYSTEMS;

EID: 47249157633     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SRDS.2007.4365703     Document Type: Conference Paper
Times cited : (6)

References (25)
  • 2
    • 0028755449 scopus 로고
    • Observer-A Concept for Formal On-Line Validation of Distributed Systems
    • Dec
    • M. Diaz, G. Juanole, and J.-P. Courtiat, "Observer-A Concept for Formal On-Line Validation of Distributed Systems," IEEE Trans. on Software Engineering, vol. 20, no. 12, pp. 900-913, Dec 1994.
    • (1994) IEEE Trans. on Software Engineering , vol.20 , Issue.12 , pp. 900-913
    • Diaz, M.1    Juanole, G.2    Courtiat, J.-P.3
  • 6
    • 47249083235 scopus 로고    scopus 로고
    • http://www.experimentalstuff.com/Technologies/JRMS/
  • 7
    • 33646720966 scopus 로고    scopus 로고
    • Automated Online Monitoring of Distributed Applications through External Monitors
    • In the, Apr-Jun
    • G. Khanna, P. Varadharajan, and S. Bagchi, "Automated Online Monitoring of Distributed Applications through External Monitors," In the IEEE Transactions on Dependable and Secure Computing (TDSC), vol. 3, no. 2, pp. 115-129, Apr-Jun, 2006.
    • (2006) IEEE Transactions on Dependable and Secure Computing (TDSC) , vol.3 , Issue.2 , pp. 115-129
    • Khanna, G.1    Varadharajan, P.2    Bagchi, S.3
  • 11
    • 0026120365 scopus 로고
    • Modeling and Verification of Time Dependent Systems using Time Petri Nets
    • Mar
    • B. Berthomieu and M. Diaz, "Modeling and Verification of Time Dependent Systems using Time Petri Nets," IEEE Trans. on Software Engineering, vol. 17, no. 3, pp. 259-273, Mar 1991.
    • (1991) IEEE Trans. on Software Engineering , vol.17 , Issue.3 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2
  • 12
    • 0029427762 scopus 로고
    • Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis
    • Sep
    • W. Peng, "Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis," IEEE Conference on Computer Communications and Networks (ICCCN), pp. 656-662, Sep 1995.
    • (1995) IEEE Conference on Computer Communications and Networks (ICCCN) , pp. 656-662
    • Peng, W.1
  • 14
    • 8344272783 scopus 로고    scopus 로고
    • What's new: Finding significant differences in network data streams
    • G. Cormode and S. Muthukrishnan, "What's new: finding significant differences in network data streams," In INFOCOM 2004, Vol. 3, pp 1534-1545, 2004.
    • (2004) INFOCOM , vol.3 , pp. 1534-1545
    • Cormode, G.1    Muthukrishnan, S.2
  • 15
    • 47249149958 scopus 로고    scopus 로고
    • Reverse Hashing for Sketch-based Change Detection on High-speed Networks
    • April
    • R. Schweller, Y. Chen, E. Parsons, A. Gupta, G. Memik, and Y. Zhang, "Reverse Hashing for Sketch-based Change Detection on High-speed Networks," In INFOCOM 2006, pp1-12, April 2006.
    • (2006) In INFOCOM 2006 , pp. 1-12
    • Schweller, R.1    Chen, Y.2    Parsons, E.3    Gupta, A.4    Memik, G.5    Zhang, Y.6
  • 19
    • 4544342880 scopus 로고    scopus 로고
    • SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments
    • June 28-July 1, Florence, Italy
    • S. Bagchi, Y. Wu, Sachin Garg, N. Singh, and T. Tsai, "SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments," At IEEE Dependable Systems and Networks (DSN 2004), June 28-July 1, 2004, Florence, Italy.
    • (2004) At IEEE Dependable Systems and Networks (DSN
    • Bagchi, S.1    Wu, Y.2    Garg, S.3    Singh, N.4    Tsai, T.5
  • 22
    • 0033295259 scopus 로고    scopus 로고
    • Bro: A System for Detecting Network Intruders in Real-Time
    • V. Paxson, "Bro: A System for Detecting Network Intruders in Real-Time," Computer Networks 31(23-24) (1999) 2435-2463.
    • (1999) Computer Networks , vol.31 , Issue.23-24 , pp. 2435-2463
    • Paxson, V.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.