Parallel program design: a foundation
Parallel program design: a foundation
ACM Transactions on Computer Systems (TOCS)
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
A calculus for cryptographic protocols
Information and Computation
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Analyzing Mobile Code Languages
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
A Comparison of PVS and Isabelle/HOL
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Proving Properties of Security Protocols by Induction
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
Secure Composition of Insecure Components
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Automated analysis of cryptographic protocols using Mur/spl phi/
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
| Hi-index | 0.00 |
The experience gained to date in the development of network applications has shown the difficulties of using traditional software technologies: reasoning about network applications is subtly different from reasoning about ordinary programs because of stronger requirements on security, different forms of termination, and phenomena like mobility and network-awareness. There are currently no standard methods, techniques and tools to support specification, development and (property) certification of these applications.To support property certification of network applications, we propose to use the network-aware logic Mobiadtl and its proof assistant, Mark (Mobiadtl Reasoning Kit). In the paper we present the prototype implementation of Mark and, as a validating example, we consider applications where mobile components are allowed to carry some resources with them when moving around the network.