Table.1 Illustrates the SPDT. The first entry corresponds
to our mainboard. From the device info part we can find that:
the name of the mainboard is "EliteGroup mainboard", and
the interface is "I", indicating that the mainboard does not
connect to any interface. Furthermore, the mainboard ID can
be checked in the expected_meaninfo part. For the space
limitation, we do not give complete expected measurement
information. For example, the bus types, the bandwidth, the
real/effective clock frequency of the mainboard and so on are
not shown in the expected_meaninfo part. The
expected_mean-ininfo part is used to give the extended
information, for example, the SHA1 of the
expected_meaninfo . It is the admin-istrators that decide
whether to use and how to use the extended part. The second
entry in the Table.1 is related to the BIOS. We can find that
it is an Award BIOS, and it is connected to the mainboard
made by the Elite Computer System Company (ECS). In the
expected_meaninfo part, we can check its version, its type
and its hash (not shown here). So, if an attacker replaces the
BIOS, we can find the replacement immediately when
platform powers up.