메뉴 건너뛰기




Volumn I, Issue , 2005, Pages 337-340

Fair BPEL processes transaction using non-repudiation protocols

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; FORMAL LANGUAGES; INTEROPERABILITY; PETRI NETS; WORLD WIDE WEB;

EID: 33749059207     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2005.52     Document Type: Conference Paper
Times cited : (8)

References (7)
  • 5
    • 4344638260 scopus 로고    scopus 로고
    • Non-repudiation protocols for multiple entities
    • October
    • J. Onieva, J. Zhou, J. Lopez. "Non-repudiation protocols for multiple entities ", Computer Communications, 27(16): pp. 1608-1616, October 2004
    • (2004) Computer Communications , vol.27 , Issue.16 , pp. 1608-1616
    • Onieva, J.1    Zhou, J.2    Lopez, J.3
  • 6
    • 0033685030 scopus 로고    scopus 로고
    • A petri net based safety analysis of workflow authorization
    • V. Atluri, W. Huang, "A Petri net Based Safety Analysis of Workflow Authorization ", Journal of Computer Security, vol. 8, pp. 209-240, 2000.
    • (2000) Journal of Computer Security , vol.8 , pp. 209-240
    • Atluri, V.1    Huang, W.2
  • 7
    • 33749078615 scopus 로고    scopus 로고
    • A reliability analysis of distributed programs with colored petri nets
    • S. Hong, K. Kim. "A Reliability Analysis of Distributed Programs with Colored Petri Nets" ETRI Journal, Vol. 16 No. 1, 1997.
    • (1997) ETRI Journal , vol.16 , Issue.1
    • Hong, S.1    Kim, K.2


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