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

메뉴 건너뛰기

Automated Software Engineering

Volumn 9, Issue 2, 2002, Pages 137-150

Mark, a reasoning kit for mobility

(4) Ferrari, Gianluigi a Montangero, C a Semini, L a Semprini, S a

a UNIVERSITY OF PISA (Italy)

Author keywords

Formal methods; Mobile computing; Theorem proving

Indexed keywords

BANDWIDTH; COMPUTER SOFTWARE; FORMAL LOGIC; MOBILE COMPUTING; NETWORK PROTOCOLS; THEOREM PROVING;

NETWORK APPLICATIONS; NETWORK MOBILITY;

SOFTWARE PROTOTYPING;

EID: 0036538072 PISSN: 09288910 EISSN: None Source Type: Journal
DOI: 10.1023/A:1014530313153 Document Type: Article

Times cited : (11)

References (30)

1
- 0003092378
- A calculus for cryptographic protocols: The spi calculus
- (1999) Information and Computation , vol.148 , Issue.1 , pp. 1-70
- Abadi, M.¹ Gordon, A.²

2
- 0003487052
- The java programming language, 2nd edn.
- Reading, MA: Addison-Wesley
- (1998) The Java Series
- Arnold, K.¹ Gosling, J.²

3
- 0000523051
- A logic of authentication
- (1989) Proceedings of the Royal Society, Series A , vol.426 , pp. 233-271
- Burrows, M.¹ Abadi, M.² Needham, R.³

4
- 0003185332
- (1990) ACM Transactions on Computer Systems , vol.8 , Issue.1 , pp. 18-36

5
- 84887502600
- Mobility types for mobile ambients
- J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, 26th Colloquium on Automata, Languages and Programming (ICALP), Prague, Czech Republic, July. Berlin: Springer-Verlag
- (1999) Lecture Notes in Computer Science , vol.1644 , pp. 230-239
- Cardelli, L.¹ Ghelli, G.² Gordon, A.D.³

6
- 84947919695
- Mobile ambients
- M. Nivat, editor, Foundations of Software Science and Computational Structures. Berlin: Springer-Verlag
- (1998) Lecture Notes in Computer Science , vol.1378 , pp. 140-155
- Cardelli, L.¹ Gordon, A.D.²

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

8
- 84955594029
- Analyzing mobile code languages
- Mobile Object Systems: Towards the Programmable Internet. Berlin: Springer-Verlag
- (1997) Lecture Notes in Computer Science , vol.1222 , pp. 93-110
- Cugola, G.¹ Ghezzi, C.² Picco, G.P.³ Vigna, G.⁴

9
- 0000372791
- A kernel language for agents interaction and mobility
- (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.5 , pp. 315-330
- De Nicola, R.¹ Ferrari, G.² Pugliese, R.³

10
- 0000413440
- Types for access control
- (2000) Theoretical Computer Science , vol.240 , Issue.1 , pp. 215-254
- De Nicola, R.¹ Ferrari, G.² Pugliese, R.³ Venneri, B.⁴

11
- 0008875979
- adtl
- Geneva, 78 July
- (2000) Proc. Workshop on Issues in the Theory of Security (WITS'00)
- Ferrari, G.¹ Montangero, C.² Semini, L.³ Semprini, S.⁴

12
- 84979246873
- adtl
- A. Porto and G.-C. Roman, editors, Proc. Limassol, Cyprus, Sept. 2000, 4th Int. Conf. on Coordination Models and Languages, COORDINATION'00. Berlin: Springer-Verlag
- (2000) Lecture Notes in Computer Science , vol.1906
- Ferrari, G.¹ Montangero, C.² Semini, L.³ Semprini, S.⁴

13
- 0003207615
- Non-interference for the analysis of cryptographic protocols
- LNCS
- (2000) Proc. ICALP'2000
- Focardi, R.¹ Gorrieri, R.² Martinelli, F.³

14
- 84955565479
- A calculus of mobile agents
- U. Montanari and V. Sassone, editors, Proc. CONCUR '96: Concurrency Theory, 7th International Conference, Pisa, Aug. 1996. Berlin: Springer-Verlag
- (1996) Lecture Notes in Computer Science , vol.1119 , pp. 406-421
- Fournet, C.¹ Gonthier, G.² Lévy, J.-J.³ Maranget, L.⁴ Rémy, D.⁵

15
- 4544373958
- Understanding code mobility
- (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.5 , pp. 342-361
- Fuggetta, A.¹ Picco, G.P.² Vigna, G.³

16
- 84947766654
- A comparison of PVS and isabelle/HOL
- J. Grundy and M. Newey, editors, Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs '98, Canberra, Australia, Sept. Berlin: Springer-Verlag
- (1998) Lecture Notes in Computer Science , vol.1479 , pp. 123-142
- Griffioen, D.¹ Huisman, M.²

17
- 0003539084
- Resource access control in systems of mobile agents
- U. Nestmann and B.C. Pierce, editors, Vol. 16.3 of Electronic Notes on Theoretical Computer Science. Nice, France, Sept. New York: Elsevier Science
- (1998) Proc. HLCL '98: High-Level Concurrent Languages , pp. 3-17
- Hennessy, M.¹ Riely, J.²

18
- 0003640863
- Reading, MA: Addison-Wesley
- (1998) Programming and Deploying Java Mobile Agents with Aglets
- Lange, D.B.¹ Oshima, M.²

19
- 0033699382
- Controlling interference in Ambients
- Boston, Jan. New York: ACM Press
- (2000) Proc. 27th Annual ACM Symp. on Principles of Programming Languages , pp. 352-364
- Levi, F.¹ Sangiorgi, D.²

20
- 0003735470
- Technical Report CMU-SCS-97-139, Carnegie Mellon University
- (1997) Model checking for security protocols
- Marrero, W.¹ Clarke, E.M.² Jha, S.³

21
- 0032000565
- Compositional programming abstractions for mobile computing
- (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.2 , pp. 97-110
- McCann, P.J.¹ Roman, G.-C.²

22
- 0030705405
- Automated analysis of cryptographic protocols using Murφ
- Piscataway, NJ: IEEE Press
- (1997) 10th IEEE Computer Security Foundations Workshop , pp. 141-151
- Mitchell, J.C.¹ Mitchell, M.² Ster, U.³

23
- 84957553289
- Composing specifications for coordination
- P. Ciancarini and A. Wolf, editors, Proc. 3nd Int. Conf. on Coordination Models and Languages. Amsterdam, April. Berlin: Springer-Verlag
- (1999) Lecture Notes in Computer Science , vol.1594 , pp. 118-133
- Montangero, C.¹ Semini, L.²

24
- 0030685617
- Proof-carrying code
- New York: ACM Press
- (1997) Proc. 24th ACM Symp. on Priciples of Programming Languages , pp. 106-119
- Necula, G.¹

25
- 85058304034
- The PVS specification and verification system
- Owre, S.¹ Rushby, J.² Shankar, N.³

26
- 0030705795
- Proving properties of security protocols by induction
- New York: IEEE Press
- (1997) 10th IEEE Computer Security Foundations Workshop , pp. 70-83
- Paulson, L.C.¹

27
- 0008875859
- Paulson, L.¹ Nipkow, T.I.²

28
- 0033149703
- A refinement calculus for tuple spaces
- (1999) Science of Computer Programming , vol.34 , pp. 79-140
- Semini, L.¹ Montangero, C.²

29
- 0032646571
- Secure composition of insecure components
- CSFW-12, New York: IEEE
- (1999) Proc. Computer Security Foundations Workshop , vol.12
- Sewell, P.¹ Vitek, J.²

30
- 16244416053
- Towards a calculus of secure mobile computations
- Proc. Workshop on Internet Programming Languages. Chicago, Illinois, May. Berlin: Springer-Verlag
- (1998) Lecture Notes in Computer Science , vol.1686
- Vitek, J.¹ Castagna, G.²

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