Calculus of Mobile Processes

Author(s):  
Guy L. Steele ◽  
Xiaowei Shen ◽  
Josep Torrellas ◽  
Mark Tuckerman ◽  
Eric J. Bohm ◽  
...  
Keyword(s):  
2007 ◽  
Vol 2 (1) ◽  
Author(s):  
Christian P. Kunze ◽  
Sonja Zaplata ◽  
Winfried Lamersdorf

2018 ◽  
Vol 25 (6) ◽  
pp. 589-606
Author(s):  
Marat M. Abbas ◽  
Vladimir A. Zakharov

Mathematical models of distributed computations, based on the calculus of mobile processes (π-calculus) are widely used for checking the information security properties of cryptographic protocols. Since π-calculus is Turing-complete, this problem is undecidable in general case. Therefore, the study is carried out only for some special classes of π-calculus processes with restricted computational capabilities, for example, for non-recursive processes, in which all runs have a bounded length, for processes with a bounded number of parallel components, etc. However, even in these cases, the proposed checking procedures are time consuming. We assume that this is due to the very nature of the π -calculus processes. The goal of this paper is to show that even for the weakest model of passive adversary and for relatively simple protocols that use only the basic π-calculus operations, the task of checking the information security properties of these protocols is co-NP-complete.


2011 ◽  
pp. 1625-1632
Author(s):  
Volker Derballa ◽  
Key Pousttchi

IT support for knowledge management (KM) is a widely discussed issue. Whereas an overemphasis on technology is often criticized, the general consensus is that a well-balanced combination of technical and social approaches can be a rewarding departure (Alavi & Leidner, 1999). The usage of knowledge management systems (KMSs) (i.e., information systems including for example data warehouse techniques and artificial intelligence tools) is seen as a factor that can beneficially support different KM processes (Frank, 2001; Wiig, 1995). Due to the fact that an increasingly large proportion of work is not conducted in the context of stationary workplaces anymore, it becomes necessary to make KMSs available to those mobile workers (Rao, 2002; Sherman, 1999). Considering the different technological infrastructure in the stationary, as well as the mobile context, a KMS that so far is only available at a stationary workplace cannot simply become mobile without any changes. Further, the aspect of mobility implies specific design requirements for KMS. Taking together the rapid developments in the field of technology, allowing more and more mobile processes to be potentially supported through mobile KMS, as well as the current social and occupational developments, resulting in more mobile workplaces and business processes (Gruhn & Book, 2003), the relevance of mobile KM can be expected to increase in the future.


2002 ◽  
Vol 44 (3) ◽  
pp. 293-342 ◽  
Author(s):  
Josva Kleist ◽  
Davide Sangiorgi
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document