-
Notifications
You must be signed in to change notification settings - Fork 10
/
p12.pddl
158 lines (158 loc) · 7.38 KB
/
p12.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
;Copyright 2018 The MITRE Corporation. All rights reserved. Approved for public release. Distribution unlimited 17-2122.
; For more information on CALDERA, the automated adversary emulation system, visit https://github.com/mitre/caldera or email [email protected]
; This has 4 hosts, 8 user, 2 admin per host, 2 active account per host
(define (problem p4_hosts_trial_15)
(:domain caldera)
(:objects
id_cetimedelta id_bxtimedelta id_bqtimedelta id_bjtimedelta - observedtimedelta
id_sdomainuser id_wdomainuser id_gdomainuser id_badomainuser id_bedomainuser id_odomainuser id_kdomainuser id_cdomainuser - observeddomainuser
id_cqfile id_crfile id_ctfile id_csfile - observedfile
num__44 num__57 num__58 num__36 num__37 num__43 num__50 num__51 - num
id_bphost id_bwhost id_cdhost id_bihost - observedhost
id_ddomaincredential id_pdomaincredential id_xdomaincredential id_hdomaincredential id_ldomaincredential id_bbdomaincredential id_tdomaincredential id_bfdomaincredential - observeddomaincredential
id_czshare id_dbshare id_dashare id_cyshare - observedshare
id_adomain - observeddomain
id_coschtask id_cnschtask id_cpschtask id_cmschtask - observedschtask
id_curat id_cvrat id_ckrat id_cxrat id_cwrat - observedrat
str__linda str__patricia str__ca str__bd str__ci str__q str__bo str__cc str__bm str__r str__bt str__b str__m str__j str__bv str__cj str__cl str__bc str__u str__mary str__cb str__bn str__ch str__bu str__michael str__bh str__e str__f str__alpha str__barbara str__bg str__z str__v str__y str__robert str__i str__john str__n str__james - string
)
(:init
(knows id_bphost)
(knows id_ckrat)
(knows_property id_bphost pfqdn)
(knows_property id_ckrat pexecutable)
(knows_property id_ckrat phost)
(MEM_CACHED_DOMAIN_CREDS id_bihost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bihost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bphost id_bbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bphost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bwhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bwhost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cdhost id_bbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cdhost id_hdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_bihost id_bedomainuser)
(MEM_DOMAIN_USER_ADMINS id_bihost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bphost id_badomainuser)
(MEM_DOMAIN_USER_ADMINS id_bphost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_bwhost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_bwhost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cdhost id_badomainuser)
(MEM_DOMAIN_USER_ADMINS id_cdhost id_wdomainuser)
(mem_hosts id_adomain id_bihost)
(mem_hosts id_adomain id_bphost)
(mem_hosts id_adomain id_bwhost)
(mem_hosts id_adomain id_cdhost)
(prop_cred id_badomainuser id_bbdomaincredential)
(prop_cred id_bedomainuser id_bfdomaincredential)
(prop_cred id_cdomainuser id_ddomaincredential)
(prop_cred id_gdomainuser id_hdomaincredential)
(prop_cred id_kdomainuser id_ldomaincredential)
(prop_cred id_odomainuser id_pdomaincredential)
(prop_cred id_sdomainuser id_tdomaincredential)
(prop_cred id_wdomainuser id_xdomaincredential)
(PROP_DC id_bihost no)
(PROP_DC id_bphost no)
(PROP_DC id_bwhost no)
(PROP_DC id_cdhost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_bihost str__bo)
(PROP_DNS_DOMAIN_NAME id_bphost str__bv)
(PROP_DNS_DOMAIN_NAME id_bwhost str__cc)
(PROP_DNS_DOMAIN_NAME id_cdhost str__cj)
(PROP_DOMAIN id_badomainuser id_adomain)
(PROP_DOMAIN id_bbdomaincredential id_adomain)
(PROP_DOMAIN id_bedomainuser id_adomain)
(PROP_DOMAIN id_bfdomaincredential id_adomain)
(PROP_DOMAIN id_bihost id_adomain)
(PROP_DOMAIN id_bphost id_adomain)
(PROP_DOMAIN id_bwhost id_adomain)
(PROP_DOMAIN id_cdomainuser id_adomain)
(PROP_DOMAIN id_cdhost id_adomain)
(PROP_DOMAIN id_ddomaincredential id_adomain)
(PROP_DOMAIN id_gdomainuser id_adomain)
(PROP_DOMAIN id_hdomaincredential id_adomain)
(PROP_DOMAIN id_kdomainuser id_adomain)
(PROP_DOMAIN id_ldomaincredential id_adomain)
(PROP_DOMAIN id_odomainuser id_adomain)
(PROP_DOMAIN id_pdomaincredential id_adomain)
(PROP_DOMAIN id_sdomainuser id_adomain)
(PROP_DOMAIN id_tdomaincredential id_adomain)
(PROP_DOMAIN id_wdomainuser id_adomain)
(PROP_DOMAIN id_xdomaincredential id_adomain)
(prop_elevated id_ckrat yes)
(prop_executable id_ckrat str__cl)
(PROP_FQDN id_bihost str__bn)
(PROP_FQDN id_bphost str__bu)
(PROP_FQDN id_bwhost str__cb)
(PROP_FQDN id_cdhost str__ci)
(prop_host id_bjtimedelta id_bihost)
(prop_host id_bqtimedelta id_bphost)
(prop_host id_bxtimedelta id_bwhost)
(prop_host id_cetimedelta id_cdhost)
(prop_host id_ckrat id_bphost)
(PROP_HOSTNAME id_bihost str__bm)
(PROP_HOSTNAME id_bphost str__bt)
(PROP_HOSTNAME id_bwhost str__ca)
(PROP_HOSTNAME id_cdhost str__ch)
(PROP_IS_GROUP id_badomainuser no)
(PROP_IS_GROUP id_bedomainuser no)
(PROP_IS_GROUP id_cdomainuser no)
(PROP_IS_GROUP id_gdomainuser no)
(PROP_IS_GROUP id_kdomainuser no)
(PROP_IS_GROUP id_odomainuser no)
(PROP_IS_GROUP id_sdomainuser no)
(PROP_IS_GROUP id_wdomainuser no)
(PROP_MICROSECONDS id_bjtimedelta num__37)
(PROP_MICROSECONDS id_bqtimedelta num__44)
(PROP_MICROSECONDS id_bxtimedelta num__51)
(PROP_MICROSECONDS id_cetimedelta num__58)
(PROP_PASSWORD id_bbdomaincredential str__bc)
(PROP_PASSWORD id_bfdomaincredential str__bg)
(PROP_PASSWORD id_ddomaincredential str__e)
(PROP_PASSWORD id_hdomaincredential str__i)
(PROP_PASSWORD id_ldomaincredential str__m)
(PROP_PASSWORD id_pdomaincredential str__q)
(PROP_PASSWORD id_tdomaincredential str__u)
(PROP_PASSWORD id_xdomaincredential str__y)
(PROP_SECONDS id_bjtimedelta num__36)
(PROP_SECONDS id_bqtimedelta num__43)
(PROP_SECONDS id_bxtimedelta num__50)
(PROP_SECONDS id_cetimedelta num__57)
(PROP_SID id_badomainuser str__bd)
(PROP_SID id_bedomainuser str__bh)
(PROP_SID id_cdomainuser str__f)
(PROP_SID id_gdomainuser str__j)
(PROP_SID id_kdomainuser str__n)
(PROP_SID id_odomainuser str__r)
(PROP_SID id_sdomainuser str__v)
(PROP_SID id_wdomainuser str__z)
(PROP_TIMEDELTA id_bihost id_bjtimedelta)
(PROP_TIMEDELTA id_bphost id_bqtimedelta)
(PROP_TIMEDELTA id_bwhost id_bxtimedelta)
(PROP_TIMEDELTA id_cdhost id_cetimedelta)
(PROP_USER id_bbdomaincredential id_badomainuser)
(PROP_USER id_bfdomaincredential id_bedomainuser)
(PROP_USER id_ddomaincredential id_cdomainuser)
(PROP_USER id_hdomaincredential id_gdomainuser)
(PROP_USER id_ldomaincredential id_kdomainuser)
(PROP_USER id_pdomaincredential id_odomainuser)
(PROP_USER id_tdomaincredential id_sdomainuser)
(PROP_USER id_xdomaincredential id_wdomainuser)
(PROP_USERNAME id_badomainuser str__michael)
(PROP_USERNAME id_bedomainuser str__barbara)
(PROP_USERNAME id_cdomainuser str__james)
(PROP_USERNAME id_gdomainuser str__mary)
(PROP_USERNAME id_kdomainuser str__john)
(PROP_USERNAME id_odomainuser str__patricia)
(PROP_USERNAME id_sdomainuser str__robert)
(PROP_USERNAME id_wdomainuser str__linda)
(PROP_WINDOWS_DOMAIN id_adomain str__alpha)
)
(:goal
(and
(prop_host id_cwrat id_bihost)
(prop_host id_curat id_bwhost)
(prop_host id_cvrat id_cdhost)
)
)
)