Abstract: A method and an apparatus for security verification of a smart home IoT system under attack. A finite state machine based on the device description information and IFTTT rules, and a formal specification based on a predefined specification template and input parameters, which uses a model verification tool to perform correctness verification regarding whether the finite state machine satisfies the formal specification, and verifies the output counterexample path by the model verification tool to identify the smart home devices and associated IFTTT rules that cause the system insecure. A state parameter of whether a smart home device is under attack is provided for each smart home device when constructing the finite state machine, and an attack intensity parameter is provided for the system when constructing the formal specification.

Abstract: A method and an apparatus for security verification of a smart home IoT system under attack. A finite state machine based on the device description information and IFTTT rules, and a formal specification based on a predefined specification template and input parameters, which uses a model verification tool to perform correctness verification regarding whether the finite state machine satisfies the formal specification, and verifies the output counterexample path by the model verification tool to identify the smart home devices and associated IFTTT rules that cause the system insecure. A state parameter of whether a smart home device is under attack is provided for each smart home device when constructing the finite state machine, and an attack intensity parameter is provided for the system when constructing the formal specification.

Abstract: A method and system for collaborative order are provided. The method may include receiving a collaborative order request, containing commodity information, sent by a subscriber. A related user of the subscriber may be identified from a set of users related to the subscriber. A collaborative order invitation for the commodity may be sent to the related user to invite the related user to send sub-order information for the commodity. Order information for the commodity sent by the subscriber and sub-order information for the commodity sent by the related user may be received and combined, to obtain combined order information. The combined order information may be sent to a trading platform for processing trade of the commodity by processing the combined order information.

Abstract: A panel of nucleic acids encoding human cytomegalovirus (HCMV) antigens is disclosed. These include nucleic acids encoding any one or more of the following antigenic proteins: glycoprotein B (gB), glycoprotein M (gM), glycoprotein N (gN), glycoprotein complex II (gM/N), glycoprotein complex III, phosphoprotein pp65 (pp65), phosphoprotein pp150 (pp150), and antigenic fragments of any of these. These nucleic acids can be used in kits and methods of treating HCMV infections.

Abstract: Immobilized bioactive protein compositions are prepared containing a bioactive protein such as an enzyme intercalated into galleries of a phyllosilicate, and a crosslinking compound crosslinking the phyllosilicate and the bioactive protein. The phyllosilicate may contain sodium or alkylammonium ions and be montmorillonite. The protein may be lipoxygenase, and crosslinking compounds include tetramethyl orthosilicate, tetraethoxy silicate, propyltrimethoxy silicate, polydimethylortho silicate and methyltrimethoxy silicate. The composition is prepared by delaminating a sodium-saturated phyllosilicate, mixing a bioactive protein with the delaminated phyllosilicate and crosslinking with a crosslinking compound. After crosslinking, the composition may be vacuum dried and ground.