| /kernel/linux/linux-6.6/Documentation/trace/rv/ |
| D | runtime-verification.rst | 2 Runtime Verification
5 Runtime Verification (RV) is a lightweight (yet rigorous) method that
6 complements classical exhaustive verification techniques (such as *model
19 *online* verification of a system, enabling the *reaction* for unexpected
26 A monitor is the central part of the runtime verification of a system. The
30 In Linux terms, the runtime verification monitors are encapsulated inside the
41 | (instrumentation) | | (verification) | | (specification) |
54 In addition to the verification and monitoring of the system, a monitor can
64 For further information about the principles of runtime verification and
67 Bartocci, Ezio, et al. *Introduction to runtime verification.* In: Lectures on
[all …]
|
| /kernel/linux/linux-6.6/kernel/trace/rv/ |
| D | Kconfig | 15 bool "Runtime Verification"
18 Enable the kernel runtime verification infrastructure. RV is a
20 exhaustive verification techniques (such as model checking and
26 Documentation/trace/rv/runtime-verification.rst
54 bool "Runtime verification reactors"
58 Enables the online runtime verification reactors. A runtime
|
| /kernel/linux/linux-6.6/tools/verification/rv/ |
| D | README.txt | 1 RV: Runtime Verification
3 Runtime Verification (RV) is a lightweight (yet rigorous) method that
4 complements classical exhaustive verification techniques (such as model
37 Runtime Verification:
38 Documentation/trace/rv/runtime-verification.rst
|
| /kernel/linux/linux-5.10/Documentation/filesystems/ |
| D | xfs-self-describing-metadata.rst | 11 scalability, but of verification of the filesystem structure. Scalabilty of the
14 is this very scalability that causes the verification problem.
49 verification of metadata values, looking for values that are in range (and hence
50 not detected by automated verification checks) but are not correct. Finding and
75 self identifying and we can do much more expansive automated verification of the
83 contain, a large amount of the manual verification work can be skipped.
128 present that the run-time verification is not detecting.
155 The verification is completely stateless - it is done independently of the
165 For read verification, the caller needs to specify the expected type of metadata
167 object matches what was expected. If the verification process fails, then it
[all …]
|
| /kernel/linux/linux-6.6/Documentation/filesystems/ |
| D | xfs-self-describing-metadata.rst | 12 scalability, but of verification of the filesystem structure. Scalabilty of the
15 is this very scalability that causes the verification problem.
50 verification of metadata values, looking for values that are in range (and hence
51 not detected by automated verification checks) but are not correct. Finding and
76 self identifying and we can do much more expansive automated verification of the
84 contain, a large amount of the manual verification work can be skipped.
129 present that the run-time verification is not detecting.
156 The verification is completely stateless - it is done independently of the
166 For read verification, the caller needs to specify the expected type of metadata
168 object matches what was expected. If the verification process fails, then it
[all …]
|
| /kernel/linux/linux-5.10/tools/memory-model/scripts/ |
| D | judgelitmus.sh | 46 echo ' !!! Verification error' $litmus
49 echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmus.out 2>&1
59 echo " !!! Unexpected non-$outcome verification" $litmus
62 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmus.out 2>&1
70 echo " !!! Unexpected non-$outcome verification" $litmus
73 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmus.out 2>&1
|
| D | checkalllitmus.sh | 6 # litmus test. If the verification result does not match that specified
8 # "^^^". It also outputs verification results to a file whose name is
62 echo " ^^^ VERIFICATION MISMATCHES" 1>&2
|
| /kernel/linux/linux-6.6/tools/testing/selftests/net/forwarding/ |
| D | ethtool_mm.sh | 49 # to verification frame) should be taken into consideration while the
52 # the link partner's verification frames.
56 # Wait for verification to finish
61 check_err "$?" "Verification did not succeed"
72 log_test "Manual configuration with verification: $tx to $rx"
96 check_err "$?" "Verification is not disabled"
106 log_test "Manual configuration without verification: $tx to $rx"
129 # Wait for verification to time out
134 check_fail "$?" "Verification succeeded when it shouldn't have"
145 log_test "Manual configuration with failed verification: $tx to $rx"
|
| /kernel/linux/linux-6.6/tools/memory-model/scripts/ |
| D | judgelitmus.sh | 16 # "HW" is the --hw argument. In addition, non-Sometimes verification
19 # in that file will be used to judge the assembly-language verification.
109 echo ' !!! Verification error' $litmus
112 echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmusout 2>&1
122 echo " !!! Unexpected non-$outcome verification" $litmus
125 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
149 echo " $flag non-$outcome verification" $litmus
152 echo " $flag non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
|
| D | checkalllitmus.sh | 6 # litmus test. If the verification result does not match that specified
8 # "^^^". It also outputs verification results to a file whose name is
61 echo " ^^^ VERIFICATION MISMATCHES" 1>&2
|
| /kernel/linux/linux-6.6/crypto/asymmetric_keys/ |
| D | Kconfig | 9 verification.
22 If signature generation and/or verification are to be used,
69 bool "Support for PE file signature verification"
80 tristate "Run FIPS selftests on the X.509+PKCS7 signature verification"
83 verification code, using some built in data. This is required
|
| /kernel/linux/linux-5.10/security/integrity/ |
| D | Kconfig | 10 Measurement Architecture (IMA), Extended Verification Module
11 (EVM), IMA-appraisal extension, digital signature verification
20 bool "Digital signature verification using multiple keyrings"
25 This option enables digital signature verification support
42 This option enables digital signature verification using
|
| /kernel/linux/linux-6.6/kernel/ |
| D | Kconfig.kexec | 59 verification for the corresponding kernel image type being
67 This option makes kernel signature verification mandatory for
71 bool "Enable Image signature verification support (ARM)"
77 Enable Image signature verification support.
80 bool "Enable bzImage signature verification support"
86 Enable bzImage signature verification support.
|
| /kernel/linux/linux-6.6/Documentation/tools/rv/ |
| D | rv.rst | 7 Runtime Verification
20 Runtime Verification (**RV**) is a lightweight (yet rigorous) method argument
21 for formal verification with a practical approach for complex systems.
28 verification (rv) monitors.
|
| /kernel/linux/linux-6.6/security/integrity/ |
| D | Kconfig | 10 Measurement Architecture (IMA), Extended Verification Module
11 (EVM), IMA-appraisal extension, digital signature verification
20 bool "Digital signature verification using multiple keyrings"
25 This option enables digital signature verification support
42 This option enables digital signature verification using
|
| /kernel/linux/linux-6.6/Documentation/security/ |
| D | digsig.rst | 2 Digital Signature Verification API
19 Digital signature verification API provides a method to verify digital signature.
22 Digital signature verification is implemented using cut-down kernel port of
58 digsig_verify() - digital signature verification with public key
62 * digsig_verify() - digital signature verification with public key
|
| /kernel/linux/linux-5.10/Documentation/security/ |
| D | digsig.rst | 2 Digital Signature Verification API
19 Digital signature verification API provides a method to verify digital signature.
22 Digital signature verification is implemented using cut-down kernel port of
58 digsig_verify() - digital signature verification with public key
62 * digsig_verify() - digital signature verification with public key
|
| /kernel/linux/linux-5.10/arch/x86/kernel/ |
| D | verify_cpu.S | 4 * verify_cpu.S - Code for cpu long mode and SSE verification. This
13 * This is a common code for verification whether CPU supports
18 * arch/x86/boot/compressed/head_64.S: Boot cpu verification
19 * arch/x86/kernel/trampoline_64.S: secondary processor verification
|
| /kernel/linux/linux-6.6/arch/x86/kernel/ |
| D | verify_cpu.S | 4 * verify_cpu.S - Code for cpu long mode and SSE verification. This
13 * This is a common code for verification whether CPU supports
18 * arch/x86/boot/compressed/head_64.S: Boot cpu verification
19 * arch/x86/kernel/trampoline_64.S: secondary processor verification
|
| /kernel/linux/linux-6.6/fs/verity/ |
| D | Kconfig | 27 hash), or (b) authenticity verification (comparing the hash
42 This option adds support for in-kernel verification of
47 alternatives (such as userspace signature verification, and
|
| /kernel/linux/linux-5.10/net/sctp/ |
| D | sm_statefuns.c | 203 * Verification Tag: 8.5.1(C), sctpimpguide 2.41.
207 * if the Verification Tag field of the packet matches its own tag and
296 * Verification Tag field to Tag_A, and also provide its own
297 * Verification Tag (Tag_Z) in the Initiate Tag field.
299 * Verification Tag: Must be 0.
355 /* 3.1 A packet containing an INIT chunk MUST have a zero Verification in sctp_sf_do_5_1B_init()
495 * Verification Tag: 3.3.3
674 * Verification Tag: 8.5.1 Exceptions in Verification Tag Rules
719 * chunk header. More detailed verification is done in sctp_sf_do_5_1D_ce()
899 * Verification Tag:
[all …]
|
| /kernel/linux/linux-6.6/net/sctp/ |
| D | sm_statefuns.c | 210 * Verification Tag: 8.5.1(C), sctpimpguide 2.41.
214 * if the Verification Tag field of the packet matches its own tag and
303 * Verification Tag field to Tag_A, and also provide its own
304 * Verification Tag (Tag_Z) in the Initiate Tag field.
306 * Verification Tag: Must be 0.
357 /* 3.1 A packet containing an INIT chunk MUST have a zero Verification in sctp_sf_do_5_1B_init()
503 * Verification Tag: 3.3.3
682 * Verification Tag: 8.5.1 Exceptions in Verification Tag Rules
727 * chunk header. More detailed verification is done in sctp_sf_do_5_1D_ce()
910 * Verification Tag:
[all …]
|
| /kernel/linux/linux-5.10/Documentation/crypto/ |
| D | asymmetric-keys.rst | 12 - Signature verification.
112 1) Signature verification.
115 required for verification, but not currently supported, and others
119 Signature Verification
122 An operation is provided to perform cryptographic signature verification, using
225 Optional. This is the entry point for signature verification. The
346 for signature verification.
357 verification.
372 This allows for verification of certificate chains by adding each
|
| /kernel/linux/linux-6.6/Documentation/crypto/ |
| D | asymmetric-keys.rst | 12 - Signature verification.
112 1) Signature verification.
115 required for verification, but not currently supported, and others
119 Signature Verification
122 An operation is provided to perform cryptographic signature verification, using
225 Optional. This is the entry point for signature verification. The
346 for signature verification.
357 verification.
372 This allows for verification of certificate chains by adding each
|
| /kernel/linux/linux-5.10/crypto/asymmetric_keys/ |
| D | Kconfig | 9 verification.
21 If signature generation and/or verification are to be used,
89 bool "Support for PE file signature verification"
|