专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US10248536B2 Method for static and dynamic configuration verification 有权
公开(公告)号：US10248536B2
公开(公告)日：2019-04-02
申请号：US15338485
申请日：2016-10-31
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Nili Ifergan-Guy , Dmitri Pikus , Oleg Sternberg
IPC分类号： G06F11/36 , G06F8/71 , G06F8/75
摘要： According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

2. 发明申请

US20180129581A1 METHOD FOR STATIC AND DYNAMIC CONFIGURATION VERIFICATION 审中-公开
公开(公告)号：US20180129581A1
公开(公告)日：2018-05-10
申请号：US15344600
申请日：2016-11-07
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Nili Ifergan - Guy , Dmitri Pikus , Oleg Sternberg
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3608 , G06F8/71 , G06F11/3604
摘要： According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

3. 发明授权

US10136282B2 Dynamic download policy for mobile applications 有权
公开(公告)号：US10136282B2
公开(公告)日：2018-11-20
申请号：US15015154
申请日：2016-02-04
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Idan Ben-Harrush , Samuel Kallner , Dmitri Pikus
IPC分类号： H04W4/60 , H04W4/50 , H04L12/24 , H04L12/26 , H04L29/08
摘要： Obtaining a dynamic download policy for a mobile application being executed on the mobile computing device, wherein the dynamic download policy indicating a download policy for a data item, the download policy is defined by the dynamic download policy as enabled in a first device context of the mobile computing device. During execution of the mobile application, a current device context of the mobile application is being monitored. In response to the mobile application attempting to download the data item and in response to the current device context being the first device context, the download policy may be enforced.

4. 发明申请

US20180203707A1 Context Based Configuration Management 审中-公开
公开(公告)号：US20180203707A1
公开(公告)日：2018-07-19
申请号：US15409559
申请日：2017-01-19
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Nili Ifergan - Guy , Dmitri Pikus , Oleg Sternberg , Idan Ben-Harrush
IPC分类号： G06F9/445
CPC分类号： G06F9/4451
摘要： A computer implemented method of dynamically configuring a mobile application according to environment context information of the mobile application, comprising using one or more processors for executing a code for collecting a plurality of context information items defining an environment of an application executed on a mobile device associated with a user, extracting according to the plurality of context information items, a plurality of context profiles assigned to the user, each of the plurality of context profiles defines a respective one of a plurality of aspects of the environment and maps a plurality of pre-defined configuration settings of the application, determining an aggregated configuration setting for the application by evaluating a combination of the plurality of configuration settings for the extracted plurality of context profiles and applying automatically the aggregated configuration setting to the application.

5. 发明申请

US20170230480A1 DYNAMIC DOWNLOAD POLICY FOR MOBILE APPLICATIONS 审中-公开
公开(公告)号：US20170230480A1
公开(公告)日：2017-08-10
申请号：US15015154
申请日：2016-02-04
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Idan Ben-Harrush , Samuel Kallner , Dmitri Pikus
IPC分类号： H04L29/08 , H04W4/00
CPC分类号： H04W4/60 , H04L41/082 , H04L41/0893 , H04L43/0817 , H04L67/2842 , H04L67/34 , H04W4/50
摘要： Obtaining a dynamic download policy for a mobile application being executed on the mobile computing device, wherein the dynamic download policy indicating a download policy for a data item, the download policy is defined by the dynamic download policy as enabled in a first device context of the mobile computing device. During execution of the mobile application, a current device context of the mobile application is being monitored. In response to the mobile application attempting to download the data item and in response to the current device context being the first device context, the download policy may be enforced.

6. 发明申请

US20150135324A1 HYPERLINK DATA PRESENTATION 有权
标题翻译： HYPERLINK数据呈现
公开(公告)号：US20150135324A1
公开(公告)日：2015-05-14
申请号：US14076269
申请日：2013-11-11
申请人： International Business Machines Corporation
发明人： Idan Ben-Harrush , Anat Berkman , Alexander Dvinsky , Nili Guy , Samuel Kallner , Andrei Kirshin , Dmitri Pikus , Yoav Rubin , Gal Shachor , Omer Tripp
IPC分类号： G06F17/22 , G06F21/57
CPC分类号： G06F17/2235 , G06F21/577 , H04L63/1441 , H04L63/168
摘要： A method of presenting hyperlink data. The method comprises identifying when a web browser running on a web browser client retrieves, in response to a web document data request submitted to a target server, a first web document data for displaying a first web document containing a hyperlink having a label for display and a target destination defining an address of a second web document, evaluating a risk from content of the second web document, generating by the web browser to a reference evaluation indication of the risk, and processing the web document data and the reference evaluation indication by the web browser for generating a presentation on the client terminal which combines the first web document data and the reference evaluation indication such that when the reference evaluation indication is presented when the label is presented by the web browser.
摘要翻译：提供超链接数据的方法。所述方法包括：响应于提交给目标服务器的web文档数据请求，web浏览器客户端上运行的web浏览器何时检索包含具有用于显示的标签的超链接的第一web文档的第一web文档数据，以及定义第二网络文档的地址的目标目的地，从第二网络文档的内容评估风险，由网络浏览器生成风险的参考评估指示，以及通过所述网页文档数据和所述参考评估指示来处理网页浏览器，用于在客户终端上生成表示，其组合了第一网络文档数据和参考评估指示，使得当标签由网络浏览器呈现时，当呈现参考评估指示时。

7. 发明授权

US10560356B2 Assuring data correctness in non-stable network environment 有权
公开(公告)号：US10560356B2
公开(公告)日：2020-02-11
申请号：US15209757
申请日：2016-07-14
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Dmitri Pikus
IPC分类号： G06F11/16 , H04L12/26 , H04L29/08
摘要： A computer implemented method of assuring correctness of data updated at a remote server and used by a local application, comprising one or more processors at a client terminal adapted to receive from a remote server updated values for a plurality of data items associated with a dataset required for execution of an application executed by the processor(s) where the dataset defines a close relation among the plurality of associated data items, determine whether the reception includes updated values for all of the associated data items, retrieve automatically from a local memory resource, previous values for all of the associated data items in case the updated value is missing for at least one of the associated data items and provide to the application the updated values or the previous values according to the determination.

8. 发明申请

US20180019934A1 Assuring Data Correctness in Non-Stable Network Environment 审中-公开
公开(公告)号：US20180019934A1
公开(公告)日：2018-01-18
申请号：US15209757
申请日：2016-07-14
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Dmitri Pikus
IPC分类号： H04L12/26 , G06F11/16 , H04L29/08
摘要： A computer implemented method of assuring correctness of data updated at a remote server and used by a local application, comprising one or more processors at a client terminal adapted to receive from a remote server updated values for a plurality of data items associated with a dataset required for execution of an application executed by the processor(s) where the dataset defines a close relation among the plurality of associated data items, determine whether the reception includes updated values for all of the associated data items, retrieve automatically from a local memory resource, previous values for all of the associated data items in case the updated value is missing for at least one of the associated data items and provide to the application the updated values or the previous values according to the determination.

9. 发明申请

US20180013616A1 METHOD FOR DYNAMIC CHANGE OF APPLICATION BEHAVIOR BY CONFIGURATION 审中-公开
公开(公告)号：US20180013616A1
公开(公告)日：2018-01-11
申请号：US15203814
申请日：2016-07-07
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Idan Ben-Harrush , Nili Ifergan-Guy , Dmitri Pikus , Oleg Sternberg
IPC分类号： H04L12/24 , H04L29/06
CPC分类号： H04L67/42 , H04L41/0266 , H04L41/0813 , H04L67/10 , H04L67/125
摘要： This invention relates to an apparatus, system, and method for modifying the behavior of an application using configuration. A configuration platform allows for the provisioning of configuration data on a local device. The configuration can cause the application to be reactive to the user's environment, such as location and time of day. The configuration data provides a convenient way to change application behavior without implementing dynamic behavior at development time.

10. 发明申请

US20170206082A1 Automatic extraction of sensitive code fragments to be executed in a sandbox 有权
公开(公告)号：US20170206082A1
公开(公告)日：2017-07-20
申请号：US14995217
申请日：2016-01-14
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Idan Ben-Harrush , Nili Ifergan-Guy , Dmitri Pikus
IPC分类号： G06F9/44
CPC分类号： G06F8/72 , G06F8/48 , G06F8/65 , G06F8/70 , G06F21/57 , G06F21/6218 , G06F21/6263 , G06F21/645
摘要： According to an aspect of some embodiments of the present invention there is provided a computer implemented method of refactoring a source code that includes a plurality of references to sensitive data into at least two separate source codes, comprising receiving a source code comprising a plurality of references to sensitive data, identifying a plurality of code blocks comprising the plurality of references, refactoring the source code into an enterprise source code having a plurality of functions containing the plurality of code blocks and a cloud source code that is semantically equivalent when executed to the source code when executed, and replacing within the cloud source code at least one of the plurality of code blocks with a call to a function within the enterprise source code, the function containing a code block that is semantically identical to the replaced code block.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式