Add to ORKGIn this paper we present an important step towards a language based modular assembly kit for security. This kit aims at supporting analysis of information flow security for distributed systems. As a distributed language we use functional active objects in ASPfun. The contribution of the paper is an implementation concept based on ASPfun for information
AbstractWe present in this article a precise security model for data confidentiality in the framewor...
International audienceThis paper provides a sound foundation for autonomous objects communicating by...
This paper provides a sound foundation for autonomous objects communicating by remote method invo- c...
In this paper we present an approach for the enforcement of privacy in distributed active object sys...
Functional active objects are a new paradigm for the implementation of services. They offer safe dis...
In this paper, we provide a formal framework for the security of distributed active objects. Active ...
Abstract—In this paper, we provide a formal framework for the security of distributed active objects...
In this paper we describe a language based security model for distributed computing based on functio...
Functional active objects are a new paradigm for the implementation of services. They offer safe dis...
Abstract—Functional active objects are a new paradigm for the implementation of services. They offer...
In this paper we describe a language based security model for distributed computing based on functio...
In this report, we present recent work on the language of functional active objects ASPfun. We first...
Addressing security in the software development lifecycle still is an open issue today, especially i...
This paper introduces a run-time mechanism for preventing leakage of secure information in distribut...
We present in this article a precise security model for data confidentiality in the framework of ASP...
AbstractWe present in this article a precise security model for data confidentiality in the framewor...
International audienceThis paper provides a sound foundation for autonomous objects communicating by...
This paper provides a sound foundation for autonomous objects communicating by remote method invo- c...
In this paper we present an approach for the enforcement of privacy in distributed active object sys...
Functional active objects are a new paradigm for the implementation of services. They offer safe dis...
In this paper, we provide a formal framework for the security of distributed active objects. Active ...
Abstract—In this paper, we provide a formal framework for the security of distributed active objects...
In this paper we describe a language based security model for distributed computing based on functio...
Functional active objects are a new paradigm for the implementation of services. They offer safe dis...
Abstract—Functional active objects are a new paradigm for the implementation of services. They offer...
In this paper we describe a language based security model for distributed computing based on functio...
In this report, we present recent work on the language of functional active objects ASPfun. We first...
Addressing security in the software development lifecycle still is an open issue today, especially i...
This paper introduces a run-time mechanism for preventing leakage of secure information in distribut...
We present in this article a precise security model for data confidentiality in the framework of ASP...
AbstractWe present in this article a precise security model for data confidentiality in the framewor...
International audienceThis paper provides a sound foundation for autonomous objects communicating by...
This paper provides a sound foundation for autonomous objects communicating by remote method invo- c...