sign.py
331 lines
| 11.0 KiB
| text/x-python
|
PythonLexer
MinRK
|
r14855 | """Functions for signing notebooks""" | ||
MinRK
|
r18255 | # Copyright (c) IPython Development Team. | ||
# Distributed under the terms of the Modified BSD License. | ||||
MinRK
|
r14855 | |||
MinRK
|
r14857 | import base64 | ||
MinRK
|
r14855 | from contextlib import contextmanager | ||
import hashlib | ||||
from hmac import HMAC | ||||
MinRK
|
r14857 | import io | ||
import os | ||||
MinRK
|
r14855 | |||
MinRK
|
r18603 | from IPython.utils.io import atomic_writing | ||
MinRK
|
r14855 | from IPython.utils.py3compat import string_types, unicode_type, cast_bytes | ||
MinRK
|
r14909 | from IPython.utils.traitlets import Instance, Bytes, Enum, Any, Unicode, Bool | ||
MinRK
|
r14862 | from IPython.config import LoggingConfigurable, MultipleInstanceError | ||
MinRK
|
r14909 | from IPython.core.application import BaseIPythonApplication, base_flags | ||
MinRK
|
r14861 | |||
MinRK
|
r18603 | from . import read, write, NO_CONVERT | ||
MinRK
|
r14855 | |||
MinRK
|
r14908 | try: | ||
# Python 3 | ||||
algorithms = hashlib.algorithms_guaranteed | ||||
except AttributeError: | ||||
algorithms = hashlib.algorithms | ||||
MinRK
|
r14855 | |||
MinRK
|
r18255 | |||
MinRK
|
r14855 | def yield_everything(obj): | ||
"""Yield every item in a container as bytes | ||||
Allows any JSONable object to be passed to an HMAC digester | ||||
without having to serialize the whole thing. | ||||
""" | ||||
if isinstance(obj, dict): | ||||
for key in sorted(obj): | ||||
value = obj[key] | ||||
yield cast_bytes(key) | ||||
for b in yield_everything(value): | ||||
yield b | ||||
elif isinstance(obj, (list, tuple)): | ||||
for element in obj: | ||||
for b in yield_everything(element): | ||||
yield b | ||||
elif isinstance(obj, unicode_type): | ||||
yield obj.encode('utf8') | ||||
else: | ||||
yield unicode_type(obj).encode('utf8') | ||||
MinRK
|
r18612 | def yield_code_cells(nb): | ||
"""Iterator that yields all cells in a notebook | ||||
nbformat version independent | ||||
""" | ||||
if nb.nbformat >= 4: | ||||
for cell in nb['cells']: | ||||
if cell['cell_type'] == 'code': | ||||
yield cell | ||||
elif nb.nbformat == 3: | ||||
for ws in nb['worksheets']: | ||||
for cell in ws['cells']: | ||||
if cell['cell_type'] == 'code': | ||||
yield cell | ||||
MinRK
|
r14855 | |||
@contextmanager | ||||
def signature_removed(nb): | ||||
"""Context manager for operating on a notebook with its signature removed | ||||
Used for excluding the previous signature when computing a notebook's signature. | ||||
""" | ||||
save_signature = nb['metadata'].pop('signature', None) | ||||
try: | ||||
yield | ||||
finally: | ||||
if save_signature is not None: | ||||
nb['metadata']['signature'] = save_signature | ||||
MinRK
|
r14857 | class NotebookNotary(LoggingConfigurable): | ||
MinRK
|
r14860 | """A class for computing and verifying notebook signatures.""" | ||
MinRK
|
r14857 | |||
profile_dir = Instance("IPython.core.profiledir.ProfileDir") | ||||
def _profile_dir_default(self): | ||||
from IPython.core.application import BaseIPythonApplication | ||||
MinRK
|
r14862 | app = None | ||
try: | ||||
if BaseIPythonApplication.initialized(): | ||||
app = BaseIPythonApplication.instance() | ||||
except MultipleInstanceError: | ||||
pass | ||||
if app is None: | ||||
MinRK
|
r14857 | # create an app, without the global instance | ||
app = BaseIPythonApplication() | ||||
Thomas Kluyver
|
r14954 | app.initialize(argv=[]) | ||
MinRK
|
r14857 | return app.profile_dir | ||
MinRK
|
r14908 | algorithm = Enum(algorithms, default_value='sha256', config=True, | ||
MinRK
|
r14860 | help="""The hashing algorithm used to sign notebooks.""" | ||
) | ||||
def _algorithm_changed(self, name, old, new): | ||||
self.digestmod = getattr(hashlib, self.algorithm) | ||||
digestmod = Any() | ||||
def _digestmod_default(self): | ||||
return getattr(hashlib, self.algorithm) | ||||
MinRK
|
r15792 | secret_file = Unicode(config=True, | ||
help="""The file where the secret key is stored.""" | ||||
) | ||||
MinRK
|
r14860 | def _secret_file_default(self): | ||
if self.profile_dir is None: | ||||
return '' | ||||
return os.path.join(self.profile_dir.security_dir, 'notebook_secret') | ||||
MinRK
|
r14857 | secret = Bytes(config=True, | ||
help="""The secret key with which notebooks are signed.""" | ||||
) | ||||
def _secret_default(self): | ||||
# note : this assumes an Application is running | ||||
MinRK
|
r14860 | if os.path.exists(self.secret_file): | ||
with io.open(self.secret_file, 'rb') as f: | ||||
MinRK
|
r14857 | return f.read() | ||
else: | ||||
secret = base64.encodestring(os.urandom(1024)) | ||||
MinRK
|
r14860 | self._write_secret_file(secret) | ||
MinRK
|
r14857 | return secret | ||
MinRK
|
r14860 | |||
def _write_secret_file(self, secret): | ||||
"""write my secret to my secret_file""" | ||||
MinRK
|
r14909 | self.log.info("Writing notebook-signing key to %s", self.secret_file) | ||
MinRK
|
r14860 | with io.open(self.secret_file, 'wb') as f: | ||
f.write(secret) | ||||
try: | ||||
os.chmod(self.secret_file, 0o600) | ||||
except OSError: | ||||
self.log.warn( | ||||
"Could not set permissions on %s", | ||||
self.secret_file | ||||
) | ||||
return secret | ||||
def compute_signature(self, nb): | ||||
"""Compute a notebook's signature | ||||
by hashing the entire contents of the notebook via HMAC digest. | ||||
""" | ||||
hmac = HMAC(self.secret, digestmod=self.digestmod) | ||||
# don't include the previous hash in the content to hash | ||||
with signature_removed(nb): | ||||
# sign the whole thing | ||||
for b in yield_everything(nb): | ||||
hmac.update(b) | ||||
return hmac.hexdigest() | ||||
def check_signature(self, nb): | ||||
"""Check a notebook's stored signature | ||||
If a signature is stored in the notebook's metadata, | ||||
a new signature is computed and compared with the stored value. | ||||
Returns True if the signature is found and matches, False otherwise. | ||||
The following conditions must all be met for a notebook to be trusted: | ||||
- a signature is stored in the form 'scheme:hexdigest' | ||||
- the stored scheme matches the requested scheme | ||||
- the requested scheme is available from hashlib | ||||
- the computed hash from notebook_signature matches the stored hash | ||||
""" | ||||
MinRK
|
r18612 | if nb.nbformat < 3: | ||
return False | ||||
MinRK
|
r14860 | stored_signature = nb['metadata'].get('signature', None) | ||
if not stored_signature \ | ||||
or not isinstance(stored_signature, string_types) \ | ||||
or ':' not in stored_signature: | ||||
return False | ||||
stored_algo, sig = stored_signature.split(':', 1) | ||||
if self.algorithm != stored_algo: | ||||
return False | ||||
my_signature = self.compute_signature(nb) | ||||
return my_signature == sig | ||||
def sign(self, nb): | ||||
"""Sign a notebook, indicating that its output is trusted | ||||
stores 'algo:hmac-hexdigest' in notebook.metadata.signature | ||||
e.g. 'sha256:deadbeef123...' | ||||
""" | ||||
MinRK
|
r18612 | if nb.nbformat < 3: | ||
return | ||||
MinRK
|
r14860 | signature = self.compute_signature(nb) | ||
nb['metadata']['signature'] = "%s:%s" % (self.algorithm, signature) | ||||
def mark_cells(self, nb, trusted): | ||||
"""Mark cells as trusted if the notebook's signature can be verified | ||||
MinRK
|
r18255 | Sets ``cell.metadata.trusted = True | False`` on all code cells, | ||
MinRK
|
r14860 | depending on whether the stored signature can be verified. | ||
This function is the inverse of check_cells | ||||
""" | ||||
MinRK
|
r18612 | if nb.nbformat < 3: | ||
return | ||||
for cell in yield_code_cells(nb): | ||||
cell['metadata']['trusted'] = trusted | ||||
MinRK
|
r14860 | |||
MinRK
|
r18612 | def _check_cell(self, cell, nbformat_version): | ||
MinRK
|
r15271 | """Do we trust an individual cell? | ||
Return True if: | ||||
- cell is explicitly trusted | ||||
- cell has no potentially unsafe rich output | ||||
If a cell has no output, or only simple print statements, | ||||
it will always be trusted. | ||||
""" | ||||
# explicitly trusted | ||||
MinRK
|
r18255 | if cell['metadata'].pop("trusted", False): | ||
MinRK
|
r15271 | return True | ||
# explicitly safe output | ||||
MinRK
|
r18612 | if nbformat_version >= 4: | ||
safe = {'text/plain', 'image/png', 'image/jpeg'} | ||||
unsafe_output_types = ['execute_result', 'display_data'] | ||||
safe_keys = {"output_type", "execution_count", "metadata"} | ||||
else: # v3 | ||||
safe = {'text', 'png', 'jpeg'} | ||||
unsafe_output_types = ['pyout', 'display_data'] | ||||
safe_keys = {"output_type", "prompt_number", "metadata"} | ||||
MinRK
|
r15271 | |||
for output in cell['outputs']: | ||||
output_type = output['output_type'] | ||||
MinRK
|
r18612 | if output_type in unsafe_output_types: | ||
MinRK
|
r15271 | # if there are any data keys not in the safe whitelist | ||
MinRK
|
r18612 | output_keys = set(output) | ||
if output_keys.difference(safe_keys): | ||||
MinRK
|
r15271 | return False | ||
return True | ||||
MinRK
|
r14860 | def check_cells(self, nb): | ||
"""Return whether all code cells are trusted | ||||
If there are no code cells, return True. | ||||
This function is the inverse of mark_cells. | ||||
""" | ||||
MinRK
|
r18612 | if nb.nbformat < 3: | ||
return False | ||||
MinRK
|
r15023 | trusted = True | ||
MinRK
|
r18612 | for cell in yield_code_cells(nb): | ||
MinRK
|
r15271 | # only distrust a cell if it actually has some output to distrust | ||
MinRK
|
r18612 | if not self._check_cell(cell, nb.nbformat): | ||
MinRK
|
r15023 | trusted = False | ||
MinRK
|
r18255 | |||
MinRK
|
r15023 | return trusted | ||
MinRK
|
r14861 | |||
MinRK
|
r14909 | trust_flags = { | ||
'reset' : ( | ||||
{'TrustNotebookApp' : { 'reset' : True}}, | ||||
"""Generate a new key for notebook signature. | ||||
All previously signed notebooks will become untrusted. | ||||
""" | ||||
), | ||||
} | ||||
trust_flags.update(base_flags) | ||||
trust_flags.pop('init') | ||||
MinRK
|
r14861 | class TrustNotebookApp(BaseIPythonApplication): | ||
description="""Sign one or more IPython notebooks with your key, | ||||
to trust their dynamic (HTML, Javascript) output. | ||||
MinRK
|
r14860 | |||
MinRK
|
r17168 | Trusting a notebook only applies to the current IPython profile. | ||
To trust a notebook for use with a profile other than default, | ||||
add `--profile [profile name]`. | ||||
MinRK
|
r14861 | Otherwise, you will have to re-execute the notebook to see output. | ||
""" | ||||
MinRK
|
r17168 | examples = """ | ||
ipython trust mynotebook.ipynb and_this_one.ipynb | ||||
ipython trust --profile myprofile mynotebook.ipynb | ||||
""" | ||||
MinRK
|
r14909 | |||
flags = trust_flags | ||||
reset = Bool(False, config=True, | ||||
help="""If True, generate a new key for notebook signature. | ||||
After reset, all previously signed notebooks will become untrusted. | ||||
""" | ||||
) | ||||
MinRK
|
r14861 | |||
notary = Instance(NotebookNotary) | ||||
def _notary_default(self): | ||||
return NotebookNotary(parent=self, profile_dir=self.profile_dir) | ||||
def sign_notebook(self, notebook_path): | ||||
if not os.path.exists(notebook_path): | ||||
self.log.error("Notebook missing: %s" % notebook_path) | ||||
self.exit(1) | ||||
with io.open(notebook_path, encoding='utf8') as f: | ||||
MinRK
|
r18603 | nb = read(f, NO_CONVERT) | ||
MinRK
|
r14861 | if self.notary.check_signature(nb): | ||
print("Notebook already signed: %s" % notebook_path) | ||||
else: | ||||
print("Signing notebook: %s" % notebook_path) | ||||
self.notary.sign(nb) | ||||
MinRK
|
r18603 | with atomic_writing(notebook_path) as f: | ||
Min RK
|
r18613 | write(nb, f, NO_CONVERT) | ||
MinRK
|
r14861 | |||
MinRK
|
r14909 | def generate_new_key(self): | ||
"""Generate a new notebook signature key""" | ||||
print("Generating new notebook key: %s" % self.notary.secret_file) | ||||
self.notary._write_secret_file(os.urandom(1024)) | ||||
MinRK
|
r14861 | def start(self): | ||
MinRK
|
r14909 | if self.reset: | ||
self.generate_new_key() | ||||
return | ||||
MinRK
|
r14861 | if not self.extra_args: | ||
self.log.critical("Specify at least one notebook to sign.") | ||||
self.exit(1) | ||||
for notebook_path in self.extra_args: | ||||
self.sign_notebook(notebook_path) | ||||
MinRK
|
r14857 | |||