SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2001, Pages 55-62

Exploiting automatic analysis of e-commerce protocols

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; ERROR ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

UNIFIED MODELING LANGUAGE (UML);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035176234 PISSN: 07303157 EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (5)

References (16)

1
- 0002753319
- Automated translation of UML models of architectures for verification and simulation using SPIN
- IEEE CS, Los Alamitos, CA, USA
- (1999) Proceedings of the 14th IEEE Inter. Conference on Automated Software Engineering , pp. 102-109
- Bose, P.¹

2
- 0030165121
- Computer-aided verification
- (1996) IEEE Spectrum , vol.33 , Issue.6 , pp. 61-67
- Clarke, E.M.¹ Kurshan, R.P.²

3
- 80051982639
- NetBill security and transaction protocol
- USENIX Assoc., Berkeley, CA, USA
- (1995) Proceedings of the First USENIX Workshop in Electronic Commerce , pp. 77-88
- Cox, B.¹ Tygar, J.D.² Sirbu, M.³

5
- 84908173810
- Model checking UML statechart diagrams using JACK
- IEEE CS, Los Alamitos, CA, USA
- (1999) th IEEE International Symposium on High Assurance Systems Engineering , pp. 147-164
- Gnesi, S.¹ Latella, D.² Massink, M.³

6
- 0001747063
- Model checking electronic commerce protocols
- USENIX Assoc., Berkeley, CA, USA
- (1996) nd Usenix Workshop on Electronic Commerce Protocols, , pp. 77-88
- Heintze, N.¹ Tygar, J.D.² Wing, J.M.³ Wong, H.C.⁴

7
- 18944390941
- The model checker SPIN
- (1997) IEEE Trans. on Software Engineering , vol.23 , Issue.5 , pp. 1-17
- Holzmann, G.J.¹

10
- 0003581143
- Kluwer Academic, Boston
- (1993) Symbolic Model Checking
- McMillan, K.L.¹

13
- 0001888279
- Failure analysis of an e-commerce protocol using model checking
- IEEE CS, Los Alamitos, CA, USA
- (2000) Proceedings of the 2nd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems , pp. 176-183
- Ray, I.¹ Ray, I.²

16
- 0033725597
- Generating statechart designs from scenarios
- ACM Press, New York, NY, USA
- (2000) Proceedings of ICSE 2000 , pp. 314-323
- Whittle, J.¹ Schumann, J.²

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