SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2001, Pages 656-662

Mobile agent security with the IPEditor development tool and the mobile UNITY language

(3) Tahara, Y a Ohsuga, A a Honiden, S a

a TOSHIBA CORPORATION (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INTERNET; NETWORK PROTOCOLS; SECURITY OF DATA;

MOBILE AGENTS;

MULTI AGENT SYSTEMS;

EID: 0034833404 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/375735.376478 Document Type: Conference Paper

Times cited : (6)

References (23)

1
- 0003666550

2
- 0001636051
- In Vigna [22]
- Authentication for mobile agents , pp. 114-136
- Berkovits, S.¹ Guttman, J.D.² Swarup, V.³

3
- 0025386404
- A logic of authentication
- (1990) ACM Transactions on Computer Systems , vol.8 , Issue.1 , pp. 18-36
- Burrows, M.¹ Abadi, M.² Needham, R.³

4
- 84947919695
- Mobile ambients
- M. Nivat, editor, LNCS1378. Springer
- (1998) Proc. FoSSaCS'98 , pp. 140-155
- Cardelli, L.¹ Gordon, A.D.²

5
- 0032671775
- A meta-notation for protocol analysis
- IEEE
- (1999) th IEEE Computer Security Foundations Workshop , pp. 55-69
- Cervesato, I.¹ Durgin, N.² Lincoln, P.³ Mitchell, J.⁴

6
- 0004159094
- Addison Wesley
- (1988) Parallel Program Design - A Foundation
- Chandy, K.M.¹ Misra, J.²

7
- 0002380598
- In Vigna [22]
- Security issues in mobile code systems , pp. 1-14
- Chess, D.M.¹

8
- 0003662868
- Bee-gent WWW page

9
- 0003506254
- Plangent WWW page

10
- 84970947585
- Software engineering for security: A roadmap
- A. Finkelstein, editor. ACM
- (2000) The future of Software Engineering , pp. 225-240
- Devanbu, P.¹ Stubblebine, S.²

11
- 84944872561
- Principles of mobile maude
- D. Kotz and F. Mattern, editors, Proc. of ASA/MA 2000. Springer
- (2000) LNCS , vol.1882 , pp. 73-85
- Durán, F.¹ Eker, S.² Lincoln, P.³ Meseguer, J.⁴

12
- 0004107020
- In Vigna [22]
- Time limited blackbox security; Protecting mobile agents from malicious hosts , pp. 92-113
- Hohl, F.¹

13
- 3943088348
- A security model for aglets
- July/August
- (1998) IEEE Internet Computing , vol.1 , Issue.4 , pp. 68-77
- Karjoth, G.¹ Lange, D.B.² Oshima, M.³

14
- 0342658605
- Breaking and fixing the needham-schroeder public-key protocol using FDR
- LNCS1055. Springer
- (1996) Proc. of TACAS'96 , pp. 147-166
- Lowe, G.¹

15
- 0005055355
- In Vigna [22]
- Safe, untrusted agents using proof-carrying code , pp. 61-91
- Necula, G.C.¹ Lee, P.²

16
- 0003613073
- In Vigna [22]
- The Safe-Tcl security model , pp. 217-234
- Ousterhout, J.K.¹ Levy, J.Y.² Welch, B.B.³

17
- 84949458581
- Expressing code mobility in mobile UNITY
- M. Jazayeri and H. Schauer, editors, Proceedings of ESEC/FSE '97, Zurich, Switzerland, September. Springer
- (1997) LNCS , vol.1301 , pp. 500-518
- Picco, G.P.¹ Roman, G.-C.² McCann, P.J.³

18
- 84966533568
- Technical Report WUCS-97-43, Washington University, St. Louis, MO, USA, December. Submitted for journal publication
- (1997) Reasoning about Code Mobility with Mobile UNITY
- Picco, G.P.¹ Roman, G.-C.² McCann, P.J.³

19
- 0003441355
- In Vigna [22]
- Protecting mobile agents against malicious hosts , pp. 44-60
- Sander, T.¹ Tschudin, C.F.²

20
- 0032681029
- Agent system development method based on agent patterns
- IEEE
- (1999) st International Conference on Software Engineering , pp. 356-367
- Tahara, Y.¹ Ohsuga, A.² Honiden, S.³

21
- 0002717089
- Cryptographic traces for mobile agents
- Moblie Agents and Security [21] , pp. 137-153
- Vigna, G.¹

22
- 0003362244
- Moblie agents and security
- Springer Verlag
- (1998) LNCS , pp. 1419
- Vigna, G.¹

23
- 0000432940
- Safety and security in mobile agents
- P. Ciancarini and M. Wooldridge, editors
- (2000) Draft Proceedings of AOSE2000 , pp. 107-126
- Yoshioka, N.¹ Tahara, Y.² Ohsuga, A.³ Honiden, S.⁴

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