The present techniques relate to data removal verification. More specifically, the techniques relate to data removal verification for machine learning models.
Data may be removed from a database in response to receiving a request to forget the data. However, machine learning models trained using the forgotten data may still be used to retrieve the data via attacks, such as inference attacks. Several recent works have proposed various methods to remove user data from a machine learning (ML) model. Existing methods that evaluate how well such a removal process functions include determining error rates, information bounds, prediction entropy, gradient residual norm, loss, and even retrain time on the forgotten samples. The use of different methods makes it very difficult to compare between removal methods. In addition, such methods sometimes make assumptions about how the forgetting was performed. In addition, assumptions made on the data and model by such methods may not always hold. Finally, such methods may incur a very large computing overhead.
According to an embodiment described herein, a system can include processor to receive one or more target data samples from a training set used to train a machine learning model, a training data sample including at least one different data sample from the training set, and a forgotten model including the machine learning model with a forgetting mechanism applied on the target data sample. The processor can also further calculate a model uncertainty or a model similarity based on the forgotten model, the target data sample, and the training data sample. The processor can also verify a removal of the target data sample from the forgotten model based on the model similarity or the model uncertainty. Optionally, to calculate the model similarity, the processor is to train a first set of models on the training data samples and the target data sample and a second set of models on the training data samples without the target data sample, and compute a similarity between the forgotten model and the first set of models to generate a first distribution of similarity scores, and a similarity between the forgotten model and the second set of models to generate a second distribution of similarity scores. In this embodiment, the use of two sets of models may enable a distribution comparison. Optionally, to verify the removal of the target data sample based on the model similarity, the processor is to perform a comparison between the first distribution of similarity scores and the second distribution of similarity scores, and verify that the removal of the target data sample succeeded in response to detecting that a difference of distributions between the first distribution of similarity scores and the second distribution of similarity scores exceeds a threshold. In this embodiment, the use of two sets of models may enable the distribution comparison. Optionally, to verify the removal of the target data sample based on the model similarity, the processor is to compute a similarity between the first set of models and the second set of models to generate a third distribution of similarity scores, and a similarity between the second set of models to generate a fourth distribution of similarity scores, and verify that the removal of the target data sample succeeded in response to detecting that a difference of distributions calculated between the second distribution and the fourth distribution is less than a difference of distributions calculated between the second distribution and the third distribution, or in response to detecting that a difference of distributions calculated between the first distribution and the fourth distribution is greater than a difference of distributions calculated between the first distribution and the third distribution. In this embodiment, a benefit of using the third and fourth distributions is that a threshold may not be needed in advance because the comparison is relative. Optionally, to calculate the model similarity, the processor is to train a set of models on the training data sample without the target data sample and compute a first distribution of similarity scores between the forgotten model and a set of retrained models, and a second distribution of similarity scores between the set of retrained models, and verify that the removal of the target data sample succeeded in response to detecting that a difference of distributions calculated between the first distribution of similarity scores and the second distribution of similarity scores does not exceed a threshold. In this embodiment, less models may be trained and thus resources saved. Optionally, to calculate the model uncertainty, the processor is to calculate an uncertainty of the forgotten model with respect to the target data sample to be forgotten and an uncertainty of a retrained model trained with the target data sample absent from the training set used to train the forgotten model with respect to the target data sample to be forgotten, wherein the processor is to verify that the removal of the target data sample succeeded in response to detecting that the uncertainty of the forgotten model is similar to the uncertainty of the retrained model. In this embodiment, the confidence of the verification may be higher because the same sample is used. Optionally, to calculate the model uncertainty, the processor is to calculate an uncertainty of the forgotten model with respect to the target data sample to be forgotten and a sample known to be absent from the training set used to train the forgotten model, wherein the processor is to verify that the removal of the target data sample succeeded in response to detecting that the uncertainty of the target data sample is similar to the uncertainty of the sample known to be absent. In this embodiment, resources may be saved by not retraining the machine learning model. Optionally, to calculate the model uncertainty, the processor is to calculate an uncertainty of the forgotten model with respect to the target data sample to be forgotten and compare the calculated uncertainty to an uncertainty threshold, wherein the uncertainty threshold is calculated based on an uncertainty of a retrained model trained with the target data sample absent from the training set with respect to the target data sample, and an uncertainty of the machine learning model with respect to the target data sample to be forgotten. In this embodiment, a more accurate result from the uncertainty may be achieved because more information is taken into account, and more flexibility is provided to determine the threshold by considering both the original model and the retrained model.
According to another embodiment described herein, a method can include receiving, via a processor, a machine learning model, a forgotten model, and a target data sample. The method can further include calculating, via the processor, a model uncertainty or a model similarity based on the machine learning model, the forgotten model, and the target data sample. The method can also further include verifying, via the processor, a removal of the target data sample from the forgotten model based on the model similarity or the model uncertainty. Optionally, calculating the model similarity includes training two sets of models using a same architecture and hyperparameters as the machine learning model, wherein a first set of models is trained on a training set including the target data sample and the second set of models is trained on the training set without the target data sample. In this embodiment, the use of two sets of models may enable a distribution comparison. Optionally, calculating the model similarity includes calculating a pairwise similarity between all models in the second set of models. In this embodiment, the comparison of models may enable an additional distribution comparison. Optionally, calculating the model similarity includes calculating a pairwise similarity between each model in the first set of models and the second set of models. In this embodiment, the pairwise comparison of models may enable an additional distribution comparison. Optionally, calculating the model similarity includes calculating a pairwise similarity between the forgotten model and the first set of models, and a pairwise similarity between the forgotten model and the second set of models. In this embodiment, the pairwise comparison of models may enable an additional distribution comparison. Optionally, calculating the model uncertainty includes calculating an uncertainty of the forgotten model with respect to the target data sample and an uncertainty of a retrained model with respect to the target data sample. In this embodiment, the machine learning model may not have to be provided for the verification. Optionally, calculating the model uncertainty includes calculating an uncertainty of the forgotten model with respect to the target data sample and an uncertainty of the forgotten model with respect to a data sample that is known to be excluded from training the forgotten model. In this embodiment, resources may be saved by not retraining a retrained model. Optionally, the method can further include executing a sanity check using a comparison to a result of forgetting a different data sample. In this embodiment, the sanity check may prevent incorrect verification due to unintended side effects of the forgetting process.
According to another embodiment described herein, a computer program product for data removal verification can include computer-readable storage medium having program code embodied therewith. The computer readable storage medium is not a transitory signal per se. The program code executable by a processor to cause the processor to receive a machine learning model, a forgotten model, and a target data sample. The program code can also cause the processor to calculate a model uncertainty or a model similarity based on the machine learning model, the forgotten model, and the target data sample. The program code can also cause the processor to verify removal of the target data sample from the forgotten model based on the model similarity or the model uncertainty. Optionally, the program code can also cause the processor to train two sets of models using a same architecture and hyperparameters as the machine learning model, wherein a first set of models is trained on a training set including the target data sample and the second set of models is trained on the training set without the target data sample. In this embodiment, the use of two sets of models may enable a distribution comparison. Optionally, the program code can also cause the processor to calculate a pairwise similarity between all models in the second set of models. In this embodiment, the pairwise comparison of models may enable an additional distribution comparison. Optionally, the program code can also cause the processor to also further calculate a pairwise similarity between each model in the first set of models and the second set of models. In this embodiment, the pairwise comparison of models may enable an additional distribution comparison. Optionally, the program code can also cause the processor to also calculate a pairwise similarity between the forgotten model and the first set of models, and a pairwise similarity between the forgotten model and the second set of models. In this embodiment, the pairwise comparison of models may enable an additional distribution comparison.
According to embodiments of the present disclosure, system includes a processor to receive one or more target data samples from a training set used to train a machine learning model, a training data sample including at least one different data sample from the training set, and a forgotten model including the machine learning model with a forgetting mechanism applied on target data sample. The processor can calculate a model uncertainty or a model similarity based on the forgotten model, the one or more target data samples, and the training data sample. The processor can verify a removal of the target data sample from the forgotten model based on the model similarity or the model uncertainty. Thus, embodiments of the present disclosure allow verification of data sample removals from machine learning models. Moreover, the embodiments can be applied to previously trained models, such as previously trained neural network models. The embodiments therefore do not require any changes to the training process with respect to such models. The forgetting process itself is assumed to be a black-box, and the techniques therefore work with any forgetting process. Moreover, the forgetting process is not required nor assumed to retrain models or even have access to the original training data. In addition, the embodiments may also be applied to various types of models, such as convolutional neural network (CNN) models, recurrent neural network (RNN) models, or a random forest search model, among other suitable machine learning models. In some examples, the embodiments may also be applied to models such as logistic regression models or state vector machines (SVMs). Finally, the techniques may be used periodically as a form of offline evaluation in order to save resources while ensuring that a forgetting mechanism is performing adequately. In some examples, the techniques may be run once to evaluate or compare between different forgetting methods and choose a forgetting method with better performance.
With reference now to
In the example of
Still referring to
It is to be understood that the block diagram of
In the example of
Still referring to
The distribution difference calculator 220 can then compare various distributions and determine whether they are similar distributions 222 or different distributions 224. In some examples, the determination may be made using a threshold, such as a threshold distance, between the distributions. For example, as shown in the example of
It is to be understood that the block diagram of
In the example of
Still referring to
The model similarity calculator 218 may also compute a pairwise similarity between each model in S2306 and each model in S1302, as indicated by arrow 316. This comparison 316 may result in the distribution of similarity scores sim_diff 308. For example, the pairwise similarities may be computed using any suitable model similarity metric. In some examples, the pairwise similarities may be computed using a similarity index that measures the relationship between representational similarity matrices. For example, the similarity index may be calculated using centered kernel alignment. In various examples, the model similarity calculator 218 may also compute the pairwise similarity between all the models in the set of models 306, as indicated by an arrow 318. This comparison 318 may result in the distribution of similarity scores sim_same 314.
In various examples, a distribution difference calculator (not shown) can calculate differences between the distributions of similarity scores to determine whether two of the distributions of similarity scores are similar distributions 222 or different distributions 224. The calculation of the differences between the distributions may be performed using any suitable technique. For example, the significance of the difference between two distributions can be measured using any suitable techniques, such as a t-test, the Kolmogorov-Smirnov (K-S) test, or Kullback-Liebler (KL) divergence. In various examples, other means of measuring the difference may include using the Z-test, Mann-Whitney-Wilcoxon test, or trimmed means. For example, the distributions sim1310 and sim2312 can be compared using KL divergence to calculate a difference KL(sim1∥sim2) of the two distributions sim1310 and sim2312. Similarly, in various examples, the distributions sim_diff 308 and sim_same 314 may be compared with sim1310 to calculate the differences KL(sim1∥sim_diff) and KL(sim111 sim_same). Likewise, and the distributions sim_diff 308 and sim_same 314 may be compared with sim2312 to calculate the differences KL(sim2∥sim_diff) and KL(sim2∥sim_same).
In various examples, the resulting differences can be compared to each other or to a threshold to determine if the forgetting succeeded. In some examples, a successful forgetting of the target data sample 204A may be detected in response to determining that a difference exceeds a threshold. For example, a successful forgetting of the target data sample 204A may be detected in response to detecting that the KL divergence value KL(sim1∥sim2) exceeds a difference threshold. Otherwise, a failed forgetting of the target data sample 204A may be detected in response to determining that the KL divergence value does not exceed the difference threshold. In some examples, a successful forgetting of the target data sample 204A may be detected in response to determining that a difference does not exceed a threshold. For example, successful forgetting of the target data sample 204A may be detected in response to detecting that the KL divergence value KL(sim2∥sim_same) does not exceed the difference threshold. Otherwise, a failed forgetting of the target data sample 204A may be detected in response to detecting that the KL divergence value exceeds the threshold. Alternatively, or in addition, in various examples, if KL(sim2∥sim_same)<KL(sim2∥sim_diff), then the removed sample may be detected as having been successfully been forgotten. In other words, if the distribution of similarity scores between the forgotten model 304 and the models 306 trained without the sample is much closer to the distribution of similarity scores between the models 306 trained without the sample than to the distribution of scores when comparing models between sets. Similarly, alternatively or in addition, if KL(sim1∥sim_diff)<KL(sim1∥sim_same), then the removed sample may also be detected as having been successfully forgotten. Otherwise, the removed sample may be detected as being unsuccessfully forgotten because its information remains within the forgotten model 304.
It is to be understood that the block diagram of
In the example of
Still referring to
In various examples, the uncertainty similarity calculator 410 may compare the model uncertainties 408 to determine whether the model uncertainties 408 are different uncertainties 412 or similar uncertainties 414. For example, the uncertainty similarity calculator 410 may compare the model uncertainty 408 of the retrained model with respect to the target data sample 210 with the model uncertainty of the forgotten model 406 with respect to the target data sample. In some examples, the target data sample 210 may be verified as having been forgotten in response to detecting that the model uncertainties 408 are similar uncertainties 414. By contrast, the uncertainty of the forgotten model 406 with respect to the data sample 204A will likely, but not necessarily, be different from the uncertainty of the trained model 208 with respect to the data sample 204A, or any other model trained using training data that includes the data sample 204A. Such a different model uncertainty 412 may also be used in determination of the uncertainty threshold. In some examples, the uncertainty similarity calculator 410 may compare the model uncertainty 408 of the forgotten model 406 with respect to a sample known to be not forgotten and the model uncertainty 408 of the forgotten model with respect to the target data samples 210. Thus, in various examples, different model uncertainties 412 may be detected and used for verification.
It is to be understood that the block diagram of
At block 502, a forgotten model, target data samples, and at least one different training data sample used to train a machine learning model are received. For example, the target data sample may be a data sample used to train the machine learning model that is to be verified as removed from the forgotten model. The at least one different training data sample may be a different data sample than the target data samples.
At block 504, a model uncertainty or a model similarity is calculated based on the forgotten model, the target data samples, and the at least one different training data sample. In some examples, the model uncertainty or model similarity may be calculated using a retrained model based on the machine learning model as trained without the target data sample. In various examples, the model similarity may be calculated using the method 600 of
At block 506, a removal of the target data samples from the forgotten model is verified based on the model similarity or the model uncertainty. For example, the removal of the target data samples may be verified in response to detecting that a similarity of the forgotten model with a first set of models trained with the target data sample is less than the similarity of the forgotten model with a second set of models trained without the target data samples. In some examples, the removal of the target data samples may be verified based on the analysis of calculated differences of distributions as described in
The process flow diagram of
At block 602, a machine learning model, a forgotten model, and one or more target data samples are received. For example, the one or more target data samples may have been used to train the machine learning model. In some examples, the architecture and hyperparameters of the machine learning model may be received instead of the machine learning model.
At block 604, two sets of models are trained using a same architecture and hyperparameters as the machine learning model with a first set of models trained on a training set including the target data samples and a second set of models trained on the training set without the target data samples. For example, the stochastic nature of machine model training may result in a set of slightly different models in both the first set of models and the second set of models.
At block 606, a pairwise similarity Sim_Same is calculated between all models in the second set of models and a pairwise similarity Sim_Diff is calculated between each model in the first set of models and the second set of models. For example, each pairwise similarity may result in a distribution of similarity scores that may take the form of a vector of similarity scores.
At block 608, a pairwise similarity Sim1 is calculated between the forgotten model and each of the first set of models, and a pairwise similarity Sim2 is calculated between the forgotten model and each of the models in the second set of models. For example, each pairwise similarity may result in a distribution of similarity scores that may take the form of a vector of similarity scores.
At block 610, a difference of distributions is calculated between similarity Sim1 and similarity Sim2. In various examples, the difference may be calculated using a t-test, the Kolmogorov-Smirnov (K-S) test, or Kullback-Liebler (KL) divergence. For example, the difference may be calculated as KL(Sim1∥Sim2).
At block 612, a difference of distributions is calculated between similarity Sim1 and similarity Sim_Same, and between similarity Sim1 and similarity Sim_Diff. In various examples, the difference may be calculated using a t-test, the Kolmogorov-Smirnov (K-S) test, or Kullback-Liebler (KL) divergence. For example, the differences may be calculated as KL(Sim1∥Sim_Same) and KL(Sim1∥Sim_Diff).
At block 614, a difference of distributions is calculated between similarity Sim2 and similarity Sim_Same, and between similarity Sim2 and similarity Sim_Diff. In various examples, the difference may be calculated using a t-test, the Kolmogorov-Smirnov (K-S) test, or Kullback-Liebler (KL) divergence. For example, the differences may be calculated as KL(Sim2∥Sim_Same) and KL(Sim2∥Sim_Diff).
At block 616, the difference of distributions are analyzed to verify a removal of the target data samples from the forgotten model. In some examples, the difference of distributions at block 610 may be compared to a difference threshold to verify removal of the target data samples. For example, the removal of the target data samples may be verified in response to detecting that the difference threshold is exceeded by the value KL(Sim1∥Sim2). In some examples, the removal of the target data samples may be verified in response to detecting that the difference threshold is not exceeded by the value KL(sim2∥sim_same). In various examples, two or more difference of distributions may be compared. In some examples, other comparisons may alternatively or additionally be made to confirm removal of the target data samples. For example, if KL(sim2∥sim_same)<KL(sim2∥sim_diff), then the removed sample may be detected as having been successfully been forgotten. Similarly, in various examples, if KL(sim1∥sim_diff)<KL(sim1∥sim_same), then the removed sample may also be detected as having been successfully forgotten.
The process flow diagram of
At block 702, a machine learning model, a forgotten model, target data samples, and one or more different training data samples are received. For example, the one or more target data samples may have been used to train the machine learning model.
At block 704, the machine learning model is retrained on training data without the target data samples to generate a retrained model. For example, the retrained model may be trained on the one or more different training data samples using the same architecture and hyperparameters as used to train the machine learning model.
At block 706, an uncertainty of the forgotten model with respect to the target data samples and an uncertainty of a retrained model with respect to the target data samples are calculated. In various examples, the uncertainty may be calculated using Bayesian networks, Monte Carlo (MC) dropout, prior networks, or deep ensembles.
At block 708, an uncertainty of the forgotten model is compared with the uncertainty of the retrained model to verify removal of the target data samples from the forgotten model. For example, the successful removal of the target data samples may be verified in response to detecting that the uncertainty of the forgotten model is similar to the uncertainty of the retrained model.
The process flow diagram of
In some scenarios, the techniques described herein may be implemented in a cloud computing environment. As discussed in more detail below in reference to at least
Cloud computing is a model of service delivery for enabling convenient, on-demand network access to a shared pool of configurable computing resources (e.g. networks, network bandwidth, servers, processing, memory, storage, applications, virtual machines, and services) that can be rapidly provisioned and released with minimal management effort or interaction with a provider of the service. This cloud model may include at least five characteristics, at least three service models, and at least four deployment models.
Characteristics are as follows:
On-demand self-service: a cloud consumer can unilaterally provision computing capabilities, such as server time and network storage, as needed automatically without requiring human interaction with the service's provider.
Broad network access: capabilities are available over a network and accessed through standard mechanisms that promote use by heterogeneous thin or thick client platforms (e.g., mobile phones, laptops, and PDAs).
Resource pooling: the provider's computing resources are pooled to serve multiple consumers using a multi-tenant model, with different physical and virtual resources dynamically assigned and reassigned according to demand. There is a sense of location independence in that the consumer generally has no control or knowledge over the exact location of the provided resources but may be able to specify location at a higher level of abstraction (e.g., country, state, or datacenter).
Rapid elasticity: capabilities can be rapidly and elastically provisioned, in some cases automatically, to quickly scale out and rapidly released to quickly scale in. To the consumer, the capabilities available for provisioning often appear to be unlimited and can be purchased in any quantity at any time.
Measured service: cloud systems automatically control and optimize resource use by leveraging a metering capability at some level of abstraction appropriate to the type of service (e.g., storage, processing, bandwidth, and active user accounts). Resource usage can be monitored, controlled, and reported providing transparency for both the provider and consumer of the utilized service.
Service Models are as follows:
Software as a Service (SaaS): the capability provided to the consumer is to use the provider's applications running on a cloud infrastructure. The applications are accessible from various client devices through a thin client interface such as a web browser (e.g., web-based email). The consumer does not manage or control the underlying cloud infrastructure including network, servers, operating systems, storage, or even individual application capabilities, with the possible exception of limited user-specific application configuration settings.
Platform as a Service (PaaS): the capability provided to the consumer is to deploy onto the cloud infrastructure consumer-created or acquired applications created using programming languages and tools supported by the provider. The consumer does not manage or control the underlying cloud infrastructure including networks, servers, operating systems, or storage, but has control over the deployed applications and possibly application hosting environment configurations.
Infrastructure as a Service (IaaS): the capability provided to the consumer is to provision processing, storage, networks, and other fundamental computing resources where the consumer is able to deploy and run arbitrary software, which can include operating systems and applications. The consumer does not manage or control the underlying cloud infrastructure but has control over operating systems, storage, deployed applications, and possibly limited control of select networking components (e.g., host firewalls).
Deployment Models are as follows:
Private cloud: the cloud infrastructure is operated solely for an organization. It may be managed by the organization or a third party and may exist on-premises or off-premises.
Community cloud: the cloud infrastructure is shared by several organizations and supports a specific community that has shared concerns (e.g., mission, security requirements, policy, and compliance considerations). It may be managed by the organizations or a third party and may exist on-premises or off-premises.
Public cloud: the cloud infrastructure is made available to the general public or a large industry group and is owned by an organization selling cloud services.
Hybrid cloud: the cloud infrastructure is a composition of two or more clouds (private, community, or public) that remain unique entities but are bound together by standardized or proprietary technology that enables data and application portability (e.g., cloud bursting for load-balancing between clouds).
A cloud computing environment is service oriented with a focus on statelessness, low coupling, modularity, and semantic interoperability. At the heart of cloud computing is an infrastructure comprising a network of interconnected nodes.
The computing device 800 may include a processor 802 that is to execute stored instructions, a memory device 804 to provide temporary memory space for operations of said instructions during operation. The processor can be a single-core processor, multi-core processor, computing cluster, or any number of other configurations. The memory 804 can include random access memory (RAM), read only memory, flash memory, or any other suitable memory systems.
The processor 802 may be connected through a system interconnect 806 (e.g., PCI®, PCI-Express®, etc.) to an input/output (I/O) device interface 808 adapted to connect the computing device 800 to one or more I/O devices 810. The I/O devices 810 may include, for example, a keyboard and a pointing device, wherein the pointing device may include a touchpad or a touchscreen, among others. The I/O devices 810 may be built-in components of the computing device 800, or may be devices that are externally connected to the computing device 800.
The processor 802 may also be linked through the system interconnect 806 to a display interface 812 adapted to connect the computing device 800 to a display device 814. The display device 814 may include a display screen that is a built-in component of the computing device 800. The display device 814 may also include a computer monitor, television, or projector, among others, that is externally connected to the computing device 800. In addition, a network interface controller (NIC) 816 may be adapted to connect the computing device 800 through the system interconnect 806 to the network 818. In some embodiments, the NIC 816 can transmit data using any suitable interface or protocol, such as the internet small computer system interface, among others. The network 818 may be a cellular network, a radio network, a wide area network (WAN), a local area network (LAN), or the Internet, among others. An external computing device 820 may connect to the computing device 800 through the network 818. In some examples, external computing device 820 may be an external webserver 820. In some examples, external computing device 820 may be a cloud computing node.
The processor 802 may also be linked through the system interconnect 806 to a storage device 822 that can include a hard drive, an optical drive, a USB flash drive, an array of drives, or any combinations thereof. In some examples, the storage device may include a receiver module 824, an uncertainty calculator module 826, a similarity calculator module 828, a distribution difference calculator module 830, an uncertainty similarity calculator module 832, and a removal verification module 834. The receiver module 824 can receive one or more target data samples from a training set used to train a machine learning model, a training data sample that includes at least one different data sample from the training set, and a forgotten model that may be the machine learning model with a forgetting mechanism applied on the one or more target data samples. In some examples, the one or more target data samples include one or more of a number of data samples from the training set to be verified as forgotten from the machine learning model. The uncertainty calculator module 826 can calculate a model uncertainty based on the forgotten model, the one or more target data samples, and the training data sample. For example, the uncertainty calculator module 826 can calculate an uncertainty of the forgotten model with respect to the target data sample to be forgotten and an uncertainty of a retrained model based on the machine learning model retrained with the data sample absent from the training set used to train the forgotten model with respect to the target data sample to be forgotten. In some examples, the uncertainty calculator module 826 can calculate an uncertainty of the forgotten model with respect to the one or more target data samples to be forgotten and a sample known to be absent from the training set used to train the forgotten model. The similarity calculator module 828 can calculate a model similarity based on the forgotten model, the one or more target data samples, and the training data sample. In some examples, the similarity calculator module 828 can train a first set of models on the training data including the one or more target data samples and a second set of models on the training data without the one or more target data samples. The similarity calculator module 828 can then perform a comparison of the forgotten model with the first set of models and the second set of models to generate a first distribution of similarity scores and a second distribution of similarity scores. In some examples, the similarity calculator module 828 can perform a comparison between the first set of models and the second set of models, and compute a pairwise similarity between all models in the second set of models. For example, the similarity calculator module 828 can compute a similarity between the first set of models and the second set of models to generate a third distribution of similarity scores, and a similarity between the second set of models to generate a fourth distribution of similarity scores. A distribution difference calculator module 830 can perform a comparison between a first distribution of similarity scores and a second distribution of similarity scores. For example, the distribution difference calculator module 830 can calculate a difference of distributions between two of any of the distributions of similarity scores calculated by the similarity calculator module 828. An uncertainty similarity calculator module 832 can calculate an uncertainty similarity between the uncertainties calculated by the uncertainty calculator module 828. For example, the uncertainty similarity calculator module 832 may include code to calculate an uncertainty similarity between the uncertainty of the forgotten model with respect to the target data sample and the uncertainty of the retrained model with respect to the target data sample. In some examples, the uncertainty similarity calculator module 832 may include code to calculate an uncertainty similarity between the uncertainty of the forgotten model with respect to the target data sample and an uncertainty of the forgotten model with respect to a data sample that is known to be excluded from training the forgotten model. The removal verification module 834 can verify a removal of the one or more target data samples from the forgotten model based on the model similarity or the model uncertainty. For example, the removal verification module 834 can verify that the removal of the target data sample succeeded in response to detecting that a difference of distributions between the first distribution of similarity scores and the second distribution of similarity scores exceeds a threshold. In some examples, the removal verification module 834 can verify that the removal of the target data samples succeeded in response to detecting that a difference of distributions calculated between the second distribution and the fourth distribution is less than a difference of distributions calculated between the second distribution and the third distribution, or in response to detecting that a difference of distributions calculated between the first distribution and the fourth distribution is greater than a difference of distributions calculated between the first distribution and the third distribution. In various examples, the removal verification module 834 can verify that the removal of the target data samples succeeded in response to detecting that a difference of distributions calculated between the second distribution of similarity scores and the fourth distribution of similarity scores does not exceed a threshold. In some examples, the removal verification module 834 may include code to verify that the removal of the target data sample succeeded in response to detecting that an uncertainty of the forgotten model is similar to the uncertainty of a retrained model. In various examples, the removal verification module 834 may include code to verify that the removal of the target data sample succeeded in response to detecting that an uncertainty of the forgotten model with respect to the sample known to be not forgotten is different than the forgotten model with respect to the target data samples. In some examples, the removal verification module 834 includes code to execute a sanity check using a comparison to a result of forgetting a different data sample.
It is to be understood that the block diagram of
Referring now to
Referring now to
Hardware and software layer 1000 includes hardware and software components. Examples of hardware components include: mainframes; RISC (Reduced Instruction Set Computer) architecture based servers; servers; blade servers; storage devices; and networks and networking components. In some embodiments, software components include network application server software and database software.
Virtualization layer 1002 provides an abstraction layer from which the following examples of virtual entities may be provided: virtual servers; virtual storage; virtual networks, including virtual private networks; virtual applications and operating systems; and virtual clients. In one example, management layer 1004 may provide the functions described below. Resource provisioning provides dynamic procurement of computing resources and other resources that are utilized to perform tasks within the cloud computing environment. Metering and Pricing provide cost tracking as resources are utilized within the cloud computing environment, and billing or invoicing for consumption of these resources. In one example, these resources may comprise application software licenses. Security provides identity verification for cloud consumers and tasks, as well as protection for data and other resources. User portal provides access to the cloud computing environment for consumers and system administrators. Service level management provides cloud computing resource allocation and management such that required service levels are met. Service Level Agreement (SLA) planning and fulfillment provide pre-arrangement for, and procurement of, cloud computing resources for which a future requirement is anticipated in accordance with an SLA.
Workloads layer 1006 provides examples of functionality for which the cloud computing environment may be utilized. Examples of workloads and functions which may be provided from this layer include: mapping and navigation; software development and lifecycle management; virtual classroom education delivery; data analytics processing; transaction processing; and data removal verification.
The present invention may be a system, a method and/or a computer program product at any possible technical detail level of integration. The computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.
The computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device. The computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. A non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing. A computer readable storage medium, as used herein, is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.
Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network. The network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers. A network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.
Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, or either code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++ or the like, and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The computer readable program instructions may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider). In some embodiments, electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.
Aspects of the present invention are described herein with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the techniques. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer readable program instructions.
These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks. These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.
The computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.
Referring now to
The various software components discussed herein may be stored on the tangible, non-transitory, computer-readable medium 1100, as indicated in
The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions. It is to be understood that any number of additional software components not shown in
The descriptions of the various embodiments of the present techniques have been presented for purposes of illustration, but are not intended to be exhaustive or limited to the embodiments disclosed. Many modifications and variations will be apparent to those of ordinary skill in the art without departing from the scope and spirit of the described embodiments. The terminology used herein was chosen to best explain the principles of the embodiments, the practical application or technical improvement over technologies found in the marketplace, or to enable others of ordinary skill in the art to understand the embodiments disclosed herein.