Scipediacontent: Scipediacontent moved page Draft Content 372729708 to Giorgini Salnitri 2014a

2021-02-02T02:50:29Z

Scipediacontent moved page Draft Content 372729708 to Giorgini Salnitri 2014a

Scipediacontent: Created page with " == Abstract == High Performance Computing (HPC) techniques are essential in complex systems such as Socio-Technical Systems (STSs), where humans and organizations are elemen..."

2021-02-02T02:50:24Z

Created page with " == Abstract == High Performance Computing (HPC) techniques are essential in complex systems such as Socio-Technical Systems (STSs), where humans and organizations are elemen..."

New page

== Abstract ==

High Performance Computing (HPC) techniques are essential in complex systems such as Socio-Technical Systems (STSs), where humans and organizations are elements of the same system along with technical infrastructures and hardware/software components. For example, several HPC approaches have been successfully applied to support and facilitate distribution or aggregation of computation power among independent and atomic components (e.g., smart meters to solve and/or simulate complex models). However, HPC techniques have to be studied and developed without underestimating the problem of security that, given the interaction-centric nature of STSs, has to be considered not only from the single component perspective but for the system as a whole. In our previous work, we have proposed SecBPMN, a framework to support the design of secure STSs. It is used to model the interaction design and security policies of a STS and it supports their verification through a querying engine. In this paper, we describe how SecBPMN has been successfully used for the study of security in an Air Traffic Management (ATM) system, and we show how it can result also an efficient support when of HPC techniques when applied in complex and heterogeneous environments.

== Original document ==

The different versions of the original document can be found in:

* [http://disi.unitn.it/%7Epgiorgio/papers/shpcs-2014.pdf http://disi.unitn.it/%7Epgiorgio/papers/shpcs-2014.pdf]

* [http://xplorestaging.ieee.org/ielx7/6895221/6903651/06903740.pdf?arnumber=6903740 http://xplorestaging.ieee.org/ielx7/6895221/6903651/06903740.pdf?arnumber=6903740],
: [http://dx.doi.org/10.1109/hpcsim.2014.6903740 http://dx.doi.org/10.1109/hpcsim.2014.6903740]

* [https://dblp.uni-trier.de/db/conf/hpcs/hpcs2014.html#SalnitriG14 https://dblp.uni-trier.de/db/conf/hpcs/hpcs2014.html#SalnitriG14],
: [https://ieeexplore.ieee.org/document/6903740 https://ieeexplore.ieee.org/document/6903740],
: [https://academic.microsoft.com/#/detail/2078701004 https://academic.microsoft.com/#/detail/2078701004]

← Older revision	Revision as of 02:50, 2 February 2021
(No difference)

Giorgini Salnitri 2014a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 372729708 to Giorgini Salnitri 2014a

Scipediacontent: Created page with " == Abstract == High Performance Computing (HPC) techniques are essential in complex systems such as Socio-Technical Systems (STSs), where humans and organizations are elemen..."