-
公开(公告)号:US20190097787A1
公开(公告)日:2019-03-28
申请号:US16189126
申请日:2018-11-13
Applicant: ABB Schweiz AG
Inventor: Johannes Schneider , Matus Harvan , Sebastian Obermeier , Thomas Locher , Yvonne-Anne Pignolet
IPC: H04L9/00
CPC classification number: H04L9/008 , H04L2209/46 , H04L2209/76
Abstract: The invention relates to a method for aggregation of a performance indicator of a device comprising the steps of: concatenating a respective first data item to a plurality of second data items in the device; encrypting the plurality of concatenated second data items relevant for computing the performance indicator using a first encryption key in the device, wherein the first encryption key is based on an additive homomorphic encryption scheme; sending the encrypted concatenated second data items to a computation cluster; computing the performance indicator on the computation cluster using the encrypted concatenated second data items and computing an aggregate value regarding the performance indicator by summing up the encrypted concatenated second data items; sending the aggregate value to a server of a service provider of the device; decrypting the aggregate value using a second encryption key on the server of the service provider; and verifying the decrypted result by checking whether the decrypted sum computed by summing up the encrypted concatenated second data items comprises a predetermined value. The present invention also relates to a corresponding system and corresponding computer program product comprising one or more computer readable media having computer executable instructions for performing the steps of the method.
-
公开(公告)号:US10795990B2
公开(公告)日:2020-10-06
申请号:US16102045
申请日:2018-08-13
Applicant: ABB Schweiz AG
Inventor: Johannes Schneider , Matus Harvan , Sebastian Obermeier , Thomas Locher , Yvonne-Anne Pignolet
Abstract: A method of automatically generating secure code includes: receiving source code and security constraints for the source code, the security constraints encoding, to what extend a variable in the source code is considered secure; and generating secure code from the source code and the security constraints by replacing non-secure operations in the source code, which operate on the variables considered as secure, with secure operations; wherein a secure operation is an operation, which, when applied to at least one encrypted variable, generates an encrypted result, which, when decrypted, is the result of the non-secure operation applied to the not encrypted variable.
-
公开(公告)号:US20190005233A1
公开(公告)日:2019-01-03
申请号:US16102045
申请日:2018-08-13
Applicant: ABB Schweiz AG
Inventor: Johannes Schneider , Matus Harvan , Sebastian Obermeier , Thomas Locher , Yvonne-Anne Pignolet
CPC classification number: G06F21/54 , G06F8/30 , G06F21/125 , G06F21/14 , G06F21/602 , G06F2221/033 , G06F2221/0748 , H04L9/008
Abstract: A method of automatically generating secure code includes: receiving source code and security constraints for the source code, the security constraints encoding, to what extend a variable in the source code is considered secure; and generating secure code from the source code and the security constraints by replacing non-secure operations in the source code, which operate on the variables considered as secure, with secure operations; wherein a secure operation is an operation, which, when applied to at least one encrypted variable, generates an encrypted result, which, when decrypted, is the result of the non-secure operation applied to the not encrypted variable.
-
-