Нашел частичный ответ. На данный момент я работаю в кодовой заглушке, предоставленной другом.
Здесь есть выходной поток, созданный с самыми низкими ограничениями ({}, public):
PrintStream[{}] output = declassify(runtime.stdout(new label{}), {});
if (output == null) return;
Затем необходимо деклассифицировать (...), чтобы рассекретить для публики, а затем распечатать.
Поэтому позже в программе:
int{Alice:} iAlice = 3;
int aliceDec;
aliceDec = declassify(ziAlice, {});
output.println("aliceDec: " + aliceDec);