52
64
    "ApprovalDelay": "Approval Delay",
 
53
65
    "ApprovalDuration": "Approval Duration",
 
54
66
    "Checker": "Checker",
 
 
67
    "ExtendedTimeout": "Extended Timeout"
 
56
69
defaultkeywords = ("Name", "Enabled", "Timeout", "LastCheckedOK")
 
57
 
domain = "se.bsnet.fukt"
 
 
70
domain = "se.recompile"
 
58
71
busname = domain + ".Mandos"
 
60
73
server_interface = domain + ".Mandos"
 
61
74
client_interface = domain + ".Mandos.Client"
 
64
 
def timedelta_to_milliseconds(td):
 
65
 
    """Convert a datetime.timedelta object to milliseconds"""
 
66
 
    return ((td.days * 24 * 60 * 60 * 1000)
 
68
 
            + (td.microseconds // 1000))
 
70
78
def milliseconds_to_string(ms):
 
71
79
    td = datetime.timedelta(0, 0, 0, ms)
 
72
 
    return ("%(days)s%(hours)02d:%(minutes)02d:%(seconds)02d"
 
73
 
            % { "days": "%dT" % td.days if td.days else "",
 
74
 
                "hours": td.seconds // 3600,
 
75
 
                "minutes": (td.seconds % 3600) // 60,
 
76
 
                "seconds": td.seconds % 60,
 
 
80
    return ("{days}{hours:02}:{minutes:02}:{seconds:02}".format(
 
 
81
        days = "{}T".format(td.days) if td.days else "",
 
 
82
        hours = td.seconds // 3600,
 
 
83
        minutes = (td.seconds % 3600) // 60,
 
 
84
        seconds = td.seconds % 60))
 
 
87
def rfc3339_duration_to_delta(duration):
 
 
88
    """Parse an RFC 3339 "duration" and return a datetime.timedelta
 
 
90
    >>> rfc3339_duration_to_delta("P7D")
 
 
92
    >>> rfc3339_duration_to_delta("PT60S")
 
 
93
    datetime.timedelta(0, 60)
 
 
94
    >>> rfc3339_duration_to_delta("PT60M")
 
 
95
    datetime.timedelta(0, 3600)
 
 
96
    >>> rfc3339_duration_to_delta("PT24H")
 
 
98
    >>> rfc3339_duration_to_delta("P1W")
 
 
100
    >>> rfc3339_duration_to_delta("PT5M30S")
 
 
101
    datetime.timedelta(0, 330)
 
 
102
    >>> rfc3339_duration_to_delta("P1DT3M20S")
 
 
103
    datetime.timedelta(1, 200)
 
 
106
    # Parsing an RFC 3339 duration with regular expressions is not
 
 
107
    # possible - there would have to be multiple places for the same
 
 
108
    # values, like seconds.  The current code, while more esoteric, is
 
 
109
    # cleaner without depending on a parsing library.  If Python had a
 
 
110
    # built-in library for parsing we would use it, but we'd like to
 
 
111
    # avoid excessive use of external libraries.
 
 
113
    # New type for defining tokens, syntax, and semantics all-in-one
 
 
114
    Token = collections.namedtuple("Token", (
 
 
115
        "regexp",  # To match token; if "value" is not None, must have
 
 
116
                   # a "group" containing digits
 
 
117
        "value",   # datetime.timedelta or None
 
 
118
        "followers"))           # Tokens valid after this token
 
 
119
    # RFC 3339 "duration" tokens, syntax, and semantics; taken from
 
 
120
    # the "duration" ABNF definition in RFC 3339, Appendix A.
 
 
121
    token_end = Token(re.compile(r"$"), None, frozenset())
 
 
122
    token_second = Token(re.compile(r"(\d+)S"),
 
 
123
                         datetime.timedelta(seconds=1),
 
 
124
                         frozenset((token_end, )))
 
 
125
    token_minute = Token(re.compile(r"(\d+)M"),
 
 
126
                         datetime.timedelta(minutes=1),
 
 
127
                         frozenset((token_second, token_end)))
 
 
128
    token_hour = Token(re.compile(r"(\d+)H"),
 
 
129
                       datetime.timedelta(hours=1),
 
 
130
                       frozenset((token_minute, token_end)))
 
 
131
    token_time = Token(re.compile(r"T"),
 
 
133
                       frozenset((token_hour, token_minute,
 
 
135
    token_day = Token(re.compile(r"(\d+)D"),
 
 
136
                      datetime.timedelta(days=1),
 
 
137
                      frozenset((token_time, token_end)))
 
 
138
    token_month = Token(re.compile(r"(\d+)M"),
 
 
139
                        datetime.timedelta(weeks=4),
 
 
140
                        frozenset((token_day, token_end)))
 
 
141
    token_year = Token(re.compile(r"(\d+)Y"),
 
 
142
                       datetime.timedelta(weeks=52),
 
 
143
                       frozenset((token_month, token_end)))
 
 
144
    token_week = Token(re.compile(r"(\d+)W"),
 
 
145
                       datetime.timedelta(weeks=1),
 
 
146
                       frozenset((token_end, )))
 
 
147
    token_duration = Token(re.compile(r"P"), None,
 
 
148
                           frozenset((token_year, token_month,
 
 
149
                                      token_day, token_time,
 
 
151
    # Define starting values
 
 
152
    value = datetime.timedelta() # Value so far
 
 
154
    followers = frozenset((token_duration, )) # Following valid tokens
 
 
155
    s = duration                # String left to parse
 
 
156
    # Loop until end token is found
 
 
157
    while found_token is not token_end:
 
 
158
        # Search for any currently valid tokens
 
 
159
        for token in followers:
 
 
160
            match = token.regexp.match(s)
 
 
161
            if match is not None:
 
 
163
                if token.value is not None:
 
 
164
                    # Value found, parse digits
 
 
165
                    factor = int(match.group(1), 10)
 
 
166
                    # Add to value so far
 
 
167
                    value += factor * token.value
 
 
168
                # Strip token from string
 
 
169
                s = token.regexp.sub("", s, 1)
 
 
172
                # Set valid next tokens
 
 
173
                followers = found_token.followers
 
 
176
            # No currently valid tokens were found
 
 
177
            raise ValueError("Invalid RFC 3339 duration: {!r}"
 
79
183
def string_to_delta(interval):
 
80
184
    """Parse a string and return a datetime.timedelta
 
82
 
    >>> string_to_delta("7d")
 
 
186
    >>> string_to_delta('7d')
 
83
187
    datetime.timedelta(7)
 
84
 
    >>> string_to_delta("60s")
 
 
188
    >>> string_to_delta('60s')
 
85
189
    datetime.timedelta(0, 60)
 
86
 
    >>> string_to_delta("60m")
 
 
190
    >>> string_to_delta('60m')
 
87
191
    datetime.timedelta(0, 3600)
 
88
 
    >>> string_to_delta("24h")
 
 
192
    >>> string_to_delta('24h')
 
89
193
    datetime.timedelta(1)
 
90
 
    >>> string_to_delta("1w")
 
 
194
    >>> string_to_delta('1w')
 
91
195
    datetime.timedelta(7)
 
92
 
    >>> string_to_delta("5m 30s")
 
 
196
    >>> string_to_delta('5m 30s')
 
93
197
    datetime.timedelta(0, 330)
 
95
 
    timevalue = datetime.timedelta(0)
 
96
 
    regexp = re.compile("\d+[dsmhw]")
 
98
 
    for s in regexp.findall(interval):
 
100
 
            suffix = unicode(s[-1])
 
103
 
                delta = datetime.timedelta(value)
 
105
 
                delta = datetime.timedelta(0, value)
 
107
 
                delta = datetime.timedelta(0, 0, 0, 0, value)
 
109
 
                delta = datetime.timedelta(0, 0, 0, 0, 0, value)
 
111
 
                delta = datetime.timedelta(0, 0, 0, 0, 0, 0, value)
 
114
 
        except (ValueError, IndexError):
 
 
201
        return rfc3339_duration_to_delta(interval)
 
 
205
    value = datetime.timedelta(0)
 
 
206
    regexp = re.compile(r"(\d+)([dsmhw]?)")
 
 
208
    for num, suffix in regexp.findall(interval):
 
 
210
            value += datetime.timedelta(int(num))
 
 
212
            value += datetime.timedelta(0, int(num))
 
 
214
            value += datetime.timedelta(0, 0, 0, 0, int(num))
 
 
216
            value += datetime.timedelta(0, 0, 0, 0, 0, int(num))
 
 
218
            value += datetime.timedelta(0, 0, 0, 0, 0, 0, int(num))
 
 
220
            value += datetime.timedelta(0, 0, 0, int(num))
 
119
224
def print_clients(clients, keywords):
 
120
225
    def valuetostring(value, keyword):
 
121
226
        if type(value) is dbus.Boolean:
 
122
227
            return "Yes" if value else "No"
 
123
228
        if keyword in ("Timeout", "Interval", "ApprovalDelay",
 
 
229
                       "ApprovalDuration", "ExtendedTimeout"):
 
125
230
            return milliseconds_to_string(value)
 
126
 
        return unicode(value)
 
128
233
    # Create format string to print table rows
 
129
 
    format_string = " ".join("%%-%ds" %
 
130
 
                             max(len(tablewords[key]),
 
131
 
                                 max(len(valuetostring(client[key],
 
 
234
    format_string = " ".join("{{{key}:{width}}}".format(
 
 
235
        width = max(len(tablewords[key]),
 
 
236
                    max(len(valuetostring(client[key], key))
 
 
237
                        for client in clients)),
 
135
239
                             for key in keywords)
 
136
240
    # Print header line
 
137
 
    print(format_string % tuple(tablewords[key] for key in keywords))
 
 
241
    print(format_string.format(**tablewords))
 
138
242
    for client in clients:
 
139
 
        print(format_string % tuple(valuetostring(client[key], key)
 
140
 
                                    for key in keywords))
 
 
243
        print(format_string.format(**{
 
 
244
            key: valuetostring(client[key], key)
 
 
245
            for key in keywords }))
 
142
248
def has_actions(options):
 
143
249
    return any((options.enable,
 
 
198
308
    parser.add_argument("--approval-duration",
 
199
309
                        help="Set duration of one client approval")
 
200
310
    parser.add_argument("-H", "--host", help="Set host for client")
 
201
 
    parser.add_argument("-s", "--secret", type=file,
 
 
311
    parser.add_argument("-s", "--secret",
 
 
312
                        type=argparse.FileType(mode="rb"),
 
202
313
                        help="Set password blob (file) for client")
 
203
314
    parser.add_argument("-A", "--approve", action="store_true",
 
204
315
                        help="Approve any current client request")
 
205
316
    parser.add_argument("-D", "--deny", action="store_true",
 
206
317
                        help="Deny any current client request")
 
 
318
    parser.add_argument("--check", action="store_true",
 
 
319
                        help="Run self-test")
 
207
320
    parser.add_argument("client", nargs="*", help="Client name")
 
208
321
    options = parser.parse_args()
 
210
 
    if has_actions(options) and not options.client and not options.all:
 
 
323
    if has_actions(options) and not (options.client or options.all):
 
211
324
        parser.error("Options require clients names or --all.")
 
212
325
    if options.verbose and has_actions(options):
 
213
326
        parser.error("--verbose can only be used alone or with"
 
215
328
    if options.all and not has_actions(options):
 
216
329
        parser.error("--all requires an action.")
 
 
332
        fail_count, test_count = doctest.testmod()
 
 
333
        sys.exit(os.EX_OK if fail_count == 0 else 1)
 
219
336
        bus = dbus.SystemBus()
 
220
337
        mandos_dbus_objc = bus.get_object(busname, server_path)
 
221
338
    except dbus.exceptions.DBusException:
 
222
 
        print("Could not connect to Mandos server",
 
 
339
        print("Could not connect to Mandos server", file=sys.stderr)
 
226
342
    mandos_serv = dbus.Interface(mandos_dbus_objc,
 
 
249
365
    if options.all or not options.client:
 
250
 
        clients = dict((bus.get_object(busname, path), properties)
 
251
 
                       for path, properties in
 
252
 
                       mandos_clients.iteritems())
 
 
366
        clients = { bus.get_object(busname, path): properties
 
 
367
                    for path, properties in mandos_clients.items() }
 
254
369
        for name in options.client:
 
255
 
            for path, client in mandos_clients.iteritems():
 
 
370
            for path, client in mandos_clients.items():
 
256
371
                if client["Name"] == name:
 
257
372
                    client_objc = bus.get_object(busname, path)
 
258
373
                    clients[client_objc] = client
 
261
 
                print("Client not found on server: %r" % name,
 
 
376
                print("Client not found on server: {!r}"
 
 
377
                      .format(name), file=sys.stderr)
 
265
380
    if not has_actions(options) and clients:
 
266
381
        if options.verbose:
 
267
 
            keywords = ("Name", "Enabled", "Timeout",
 
268
 
                        "LastCheckedOK", "Created", "Interval",
 
269
 
                        "Host", "Fingerprint", "CheckerRunning",
 
270
 
                        "LastEnabled", "ApprovalPending",
 
 
382
            keywords = ("Name", "Enabled", "Timeout", "LastCheckedOK",
 
 
383
                        "Created", "Interval", "Host", "Fingerprint",
 
 
384
                        "CheckerRunning", "LastEnabled",
 
 
385
                        "ApprovalPending", "ApprovedByDefault",
 
272
386
                        "LastApprovalRequest", "ApprovalDelay",
 
273
 
                        "ApprovalDuration", "Checker")
 
 
387
                        "ApprovalDuration", "Checker",
 
275
390
            keywords = defaultkeywords
 
 
279
394
        # Process each client in the list by all selected options
 
280
395
        for client in clients:
 
 
397
            def set_client_prop(prop, value):
 
 
398
                """Set a Client D-Bus property"""
 
 
399
                client.Set(client_interface, prop, value,
 
 
400
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
 
402
            def set_client_prop_ms(prop, value):
 
 
403
                """Set a Client D-Bus property, converted
 
 
404
                from a string to milliseconds."""
 
 
405
                set_client_prop(prop,
 
 
406
                                string_to_delta(value).total_seconds()
 
281
409
            if options.remove:
 
282
410
                mandos_serv.RemoveClient(client.__dbus_object_path__)
 
283
411
            if options.enable:
 
284
 
                client.Enable(dbus_interface=client_interface)
 
 
412
                set_client_prop("Enabled", dbus.Boolean(True))
 
285
413
            if options.disable:
 
286
 
                client.Disable(dbus_interface=client_interface)
 
 
414
                set_client_prop("Enabled", dbus.Boolean(False))
 
287
415
            if options.bump_timeout:
 
288
 
                client.CheckedOK(dbus_interface=client_interface)
 
 
416
                set_client_prop("LastCheckedOK", "")
 
289
417
            if options.start_checker:
 
290
 
                client.StartChecker(dbus_interface=client_interface)
 
 
418
                set_client_prop("CheckerRunning", dbus.Boolean(True))
 
291
419
            if options.stop_checker:
 
292
 
                client.StopChecker(dbus_interface=client_interface)
 
 
420
                set_client_prop("CheckerRunning", dbus.Boolean(False))
 
293
421
            if options.is_enabled:
 
294
422
                sys.exit(0 if client.Get(client_interface,
 
297
425
                                         dbus.PROPERTIES_IFACE)
 
300
 
                client.Set(client_interface, "Checker",
 
302
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
304
 
                client.Set(client_interface, "Host", options.host,
 
305
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
307
 
                client.Set(client_interface, "Interval",
 
308
 
                           timedelta_to_milliseconds
 
309
 
                           (string_to_delta(options.interval)),
 
310
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
311
 
            if options.approval_delay:
 
312
 
                client.Set(client_interface, "ApprovalDelay",
 
313
 
                           timedelta_to_milliseconds
 
314
 
                           (string_to_delta(options.
 
316
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
317
 
            if options.approval_duration:
 
318
 
                client.Set(client_interface, "ApprovalDuration",
 
319
 
                           timedelta_to_milliseconds
 
320
 
                           (string_to_delta(options.
 
322
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
324
 
                client.Set(client_interface, "Timeout",
 
325
 
                           timedelta_to_milliseconds
 
326
 
                           (string_to_delta(options.timeout)),
 
327
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
329
 
                client.Set(client_interface, "Secret",
 
330
 
                           dbus.ByteArray(open(options.secret,
 
332
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
 
427
            if options.checker is not None:
 
 
428
                set_client_prop("Checker", options.checker)
 
 
429
            if options.host is not None:
 
 
430
                set_client_prop("Host", options.host)
 
 
431
            if options.interval is not None:
 
 
432
                set_client_prop_ms("Interval", options.interval)
 
 
433
            if options.approval_delay is not None:
 
 
434
                set_client_prop_ms("ApprovalDelay",
 
 
435
                                   options.approval_delay)
 
 
436
            if options.approval_duration is not None:
 
 
437
                set_client_prop_ms("ApprovalDuration",
 
 
438
                                   options.approval_duration)
 
 
439
            if options.timeout is not None:
 
 
440
                set_client_prop_ms("Timeout", options.timeout)
 
 
441
            if options.extended_timeout is not None:
 
 
442
                set_client_prop_ms("ExtendedTimeout",
 
 
443
                                   options.extended_timeout)
 
 
444
            if options.secret is not None:
 
 
445
                set_client_prop("Secret",
 
 
446
                                dbus.ByteArray(options.secret.read()))
 
333
447
            if options.approved_by_default is not None:
 
334
 
                client.Set(client_interface, "ApprovedByDefault",
 
336
 
                                        .approved_by_default),
 
337
 
                           dbus_interface=dbus.PROPERTIES_IFACE)
 
 
448
                set_client_prop("ApprovedByDefault",
 
 
450
                                             .approved_by_default))
 
338
451
            if options.approve:
 
339
452
                client.Approve(dbus.Boolean(True),
 
340
453
                               dbus_interface=client_interface)