-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathRuadan-dominio2.pddl
195 lines (171 loc) · 7.51 KB
/
Ruadan-dominio2.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
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
(define (domain network-enumeration)
(:requirements :strips :typing :conditional-effects :equality
:negative-preconditions :quantified-preconditions
:disjunctive-preconditions :adl)
; Tipos
(:types
entity
host - entity
service - entity
web_service - service
mail_service - service
database_service - service
file_transfer_service - service
remote_access_service - service
streaming_service - service
messaging_service - service
application_service - service
network_management_service - service
custom_service - service
port - entity
vulnerability - entity
risk_level
critical_risk - risk_level
high_risk - risk_level
medium_risk - risk_level
low_risk - risk_level
exploit_method
version_type
operating_system_version - version_type
application_version - version_type
host_status
)
; Constantes
(:constants
; Exemplos de Portas Comuns
; port80 port443 port22 port21 port23 port25 port110 port143 port3389 port3306 port5432 - port
)
; "Predicados" descrevem o estado do domínio
(:predicates
; Indica se um host foi escaneado
(host_scanned ?h - host)
; Indica se uma porta está aberta em um host
(port_open ?p - port ?h - host)
; Indica se uma porta está fechada em um host
(port_closed ?p - port ?h - host)
; Indica se um serviço foi detectado em uma porta de um host
(service_detected ?s - service ?p - port ?h - host)
; Relaciona um serviço a uma versão específica em uma porta de um host
(service_version ?s - service ?v - version_type ?p - port ?h - host)
; Indica se uma vulnerabilidade é conhecida para uma versão específica de um serviço
(vulnerability_known ?v - version_type ?s - service)
; Marca uma porta em um host como o melhor alvo para exploração
(best_exploitation_target ?p - port ?h - host)
; Indica se um serviço em uma porta de um host é vulnerável
(service_vulnerable ?s - service ?p - port ?h - host)
; Indica se uma tentativa de exploração foi realizada em uma porta de um host
(exploitation_attempted ?p - port ?h - host)
; Condições adicionais podem ser adicionadas conforme necessário
(some_condition_for_open_port ?p - port ?h - host)
; Ccondição específica que determina se uma porta está aberta
; Asfalto. Tapa buracos
(host_exploited ?h - host)
(exploitation_successful ?p - port ?h - host)
(host_compromised ?h - host)
)
; Algumas inconsistencia lógica
; Ação para escanear um host
(:action scan_host
:parameters (?h - host)
:precondition (not (host_scanned ?h))
:effect
(and
(host_scanned ?h)
; Supõe-se que algumas portas são descobertas e outras não
; Os efeitos condicionais podem ser adicionados com base em regras específicas
)
)
; Ação para escanear uma porta específica em um host
(:action scan_port
:parameters (?p - port ?h - host)
:precondition (and (host_scanned ?h) (not (port_open ?p ?h)) (not (port_closed ?p ?h)))
:effect
(and
; Efeito condicional para determinar se a porta está aberta
(port_open ?p ?h) ; Principio da simplicidade XD
;(when (some_condition_for_open_port ?p ?h) (port_open ?p ?h))
;(when (not (some_condition_for_open_port ?p ?h)) (port_closed ?p ?h))
)
)
; Ação para verificar um serviço em uma porta aberta
(:action check_service
:parameters (?s - service ?p - port ?h - host ?v - version_type)
:precondition (and (port_open ?p ?h) (not (service_detected ?s ?p ?h)))
:effect
(and
(service_detected ?s ?p ?h)
; Supõe-se que a versão do serviço seja determinada aqui
; Por exemplo, a versão pode ser identificada e associada ao serviço
(service_version ?s ?v ?p ?h)
; Efeitos condicionais podem ser adicionados para refletir diferentes versões e suas vulnerabilidades
)
)
;;
;; (:action determine_service_version
;; :parameters (?s - service ?p - port ?h - host)
;; :precondition (and (port_open ?p ?h) (service_detected ?s ?p ?h))
;; :effect
;; (and
;; ; Supõe-se que a versão do serviço seja determinada aqui
;; (service_version ?s ?some-version ?p ?h)
;; ; Efeitos condicionais podem ser adicionados para refletir diferentes versões e suas vulnerabilidades
;; )
;; )
; Ação para determinar a versão de um serviço
(:action determine_service_version
:parameters (?s - service ?p - port ?h - host)
:precondition (and (port_open ?p ?h) (service_detected ?s ?p ?h))
:effect
(and
; Supõe-se que a versão do serviço seja determinada aqui
; Por exemplo, a versão pode ser identificada e associada ao serviço
(service_version ?s ?some-version ?p ?h)
; Efeitos condicionais podem ser adicionados para refletir diferentes versões e suas vulnerabilidades
)
)
(:action check_vulnerability
:parameters (?s - service ?v - version_type ?p - port ?h - host)
; requer que uma versão específica do serviço esteja associada a um host e que a vulnerabilidade dessa versão ainda não seja conhecida
:precondition (and (service_version ?s ?v ?p ?h)
(not (vulnerability_known ?v ?s)))
:effect
(and
; Verifica se existe uma vulnerabilidade conhecida para a versão
; Se sim, atualiza o estado de conhecimento sobre a vulnerabilidade
(vulnerability_known ?v ?s)
; Se uma vulnerabilidade conhecida for encontrada, considera que o host foi explorado ou tentativa
(when (vulnerability_known ?v ?s)
(host_exploited ?h))
)
)
; Ação para escolher o melhor alvo para exploração
(:action select_best_exploitation_target
:parameters (?p - port ?h - host)
:precondition (and
(port_open ?p ?h)
(not (best_exploitation_target ?p ?h))
; Adicionando a condição de que deve haver um serviço vulnerável na porta
(exists (?s - service) (and (service_detected ?s ?p ?h) (service_vulnerable ?s ?p ?h)))
)
:effect
(and
; Marca a porta como o melhor alvo para exploração com base na presença de serviços vulneráveis
(best_exploitation_target ?p ?h)
; Efeitos adicionais podem ser considerados para refletir a priorização da exploração ?????
)
)
; Ação para tentar explorar uma porta aberta
(:action exploit_port
:parameters (?s - service ?p - port ?h - host)
:precondition (and (best_exploitation_target ?p ?h) (vulnerability_known ?v ?s))
:effect
(and
(exploitation_attempted ?p ?h)
; novo predicado hipotético para determinar se uma tentativa de exploração foi bem-sucedida, tem problema deixar o preticado hipotético aqui ?
(when (exploitation_successful ?p ?h)
(host_compromised ?h))
;predicado para marcar que um host foi comprometido após uma exploração bem-sucedida.
; Efeito condicional para determinar se a exploração foi bem-sucedida; Sem ideias !
)
)
)