michaelbanks's Lipton:RJ [3 articles] Export Sort

Recent papers posted to michaelbanks's library by the author Lipton:RJ. You can also see everyone's Lipton:RJ.

Hide details

	Social Processes and Proofs of Theorems and Programs [My Copy] Communications of the ACM, Vol. 22, No. 5. (May 1979), pp. 271-280. by Richard A. Demillo, Richard J. Lipton, Alan J. Perlis posted to 1979 criticism formal-methods program social-processes theorem-proving verification by michaelbanks on 2009-05-18 11:27:32 as along with 2 people ljcamargos imrchen
	The Enforcement of Security Policies for Computation [My Copy] In SOSP '75: Proceedings of the Fifth ACM Symposium on Operating Systems Principles (1975), pp. 197-206. by Anita K. Jones, Richard J. Lipton posted to 1975 policy security by michaelbanks on 2008-11-13 11:59:10 as along with 2 people scavadini tesissvc
	Social Processes and Proofs of Theorems and Programs [My Copy] In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages (1977), pp. 206-214. by Richard A. Demillo, Richard J. Lipton, Alan J. Perlis posted to 1977 criticism formal-methods program social-processes theorem-proving verification by michaelbanks on 2008-10-29 17:50:18 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/author/Lipton:RJ

michaelbanks's tags

All tags in michaelbanks's library

Filter:

Only showing top 500 tags from 612 total.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

security	353
protocol	146
book	99
refinement	95
information-flow	91
specification	89
formal-methods	86
verification	79
2008	75
model	65
2006	64
2009	60
proof	59
attack	58
property	58
analysis	51
csp	51
noninterference	50
2007	50
formal	48
2005	48
language	45
logic	45
system	44
survey	42
2003	41
semantics	40
z	38
1996	38
confidentiality	36
software	35
textbook	35
programming	35
process-algebra	33
type-flaw	33
composition	32
policy	31
program	31
2001	31
framework	30
theory	29
1995	29
model-checking	29
tool	28
2000	28
introduction	27
authentication	27
1990	26
automatic	26
2002	26
software-engineering	26
mathematics	25
1994	25
1997	25
2004	24
cryptography	24
1999	23
1992	23
1998	22
concurrency	21
trace	19
probabilistic	19
bell-lapadula	18
access-control	18
development	18
1987	18
safety	18
circus	17
1993	17
theorem-proving	17
distributed	17
unwinding	16
commercial	16
needham-schroeder	15
possibilistic	15
design	15
algebraic	15
utp	14
criticism	14
testing	14
refinement-calculus	14
key	13
integrity	13
information	13
liveness	13
search	12
1988	12
1989	12
java	12
data	12
alloy	12
hacking	12
multi-level	11
nondeterministic	11
engineering	11
preserving	11
requirements	11
fdr	11
bisimulation	11
ban	11
maks	11
case-study	11
1991	10
yahalom	10
ccs	10
haskell	10
event-b	10
synthesis	10
correctness	10
channels	9
anonymity	9
public	9
strand-space	9
category-theory	9
availability	9
1981	9
reasoning	9
hoare-logic	9
nondeducibility	9
operational	9
type-system	9
belief	8
heuristic	8
privacy	8
temporal	8
spi-calculus	8
1985	8
dolev-yao	8
simulation	8
knowledge	8
opinion	8
b-method	8
constraint-solving	8
comparison	8
verified-software-repository	8
static-analysis	7
compiler	7
1986	7
guidance	7
neuman-stubblebine	7
tutorial	7
1984	7
1978	7
kernel	7
covert	7
separability	7
tagging	7
1977	7
functional-programming	7
automata	7
executable	6
transformation	6
roundtable	6
type-checking	6
object-z	6
operating-system	6
communication	6
history	6
replay	6
rodin	6
denotational	6
action	6
svo	5
precondition	5
derivation	5
multi-agent	5
file-system	5
1983	5
uml	5
philosophy	5
role-based-access-control	5
generalised	5
model-driven	5
stepwise	5
abstraction	5
paradox	5
key-establishment	5
mondex	5
noninference	5
transitive	5
isabelle	5
jif	5
control-flow	5
decidability	5
coq	5
management	5
pi-calculus	5
otway-rees	5
grand-challenge	5
structure	5
lattice	5
predicate-transformer	5
optimisation	5
standard	5
expressiveness	5
1976	5
state-machine	4
general	4
selective-interleaving	4
1972	4
game-theory	4
quantitative	4
1982	4
gdoi	4
z-eves	4
biba	4
weakest	4
economics	4
tla	4
casper	4
stairs	4
validation	4
posix	4
review	4
guarded	4
distribution	4
network	4
definition	4
equivalence	4
reliability	4
architecture	4
cipher-block-chaining	4
failures	4
web-services	4
object-oriented	4
deterministic	4
labelled-transition-system	4
spa	4
hol	4
axiomatic	4
vdm	4
1980	4
induction	4
time	4
confinement	4
resource-allocation	4
implementation	4
flow	3
chaos-report	3
1975	3
galois-connection	3
predicate	3
certification	3
set-theory	3
raise	3
reconfigurable	3
kerberos	3
lysa	3
methods	3
relational	3
social-processes	3
genetic-algorithm	3
decomposition	3
computer	3
password	3
command	3
linking	3
unifying	3
risk	3
accountability	3
capacity	3
simulated-annealing	3
ponder	3
trust	3
rewrite	3
1979	3
artificial-intelligence	3
denial-of-service	3
event	3
no-silver-bullet	3
divergences	3
athena	3
1969	3
window	3
abstract-interpretation	3
mechanised	3
principles	3
larch	3
advocacy	3
declassification	3
internet	3
godel	3
recursion	3
chinese-wall	3
flaw	3
inference-control	3
perfect	3
voting	3
usability	3
ada	3
predicate-calculus	3
hru	2
nonce	2
computability	2
storage	2
restrictiveness	2
non-functional	2
records	2
incident-insensitive	2
turing-award	2
guessing	2
animation	2
contract	2
teaching	2
obligation	2
dictionary	2
hyperproperty	2
guidelines	2
theorem	2
algorithms	2
s3a	2
ibm-cics	2
mandatory-access-control	2
project	2
multics	2
ckt5	2
virus	2
spore-library	2
possible-worlds	2
evaluation	2
focus	2
writing	2
algorithm	2
state-based	2
separation-of-duty	2
1974	2
eiffel	2
safety-critical	2
csp-oz	2
tokeneer	2
pattern-matching	2
avispa	2
hypervisor	2
extraction	2
indistinguishability-classes	2
natural	2
2010	2
statistics	2
authenticity	2
scyther	2
emergence	2
adaptation	2
separation	2
andrew-secure-rpc	2
capsl	2
functionality	2
representation	2
timestamp	2
floating-point	2
assurance	2
hardware	2
translation	2
closure	2
operators	2
swift	2
dining-cryptographers	2
kao-chow	2
xen-hypervisor	2
spi2java	2
dynamic	2
pointers	2
parser	2
separation-logic	2
xenon	2
complexity	2
mobile	2
clark-wilson	2
quantification	2
topology	2
fm	2
aspect-oriented	2
1973	2
sequential	2
system-z	2
limitations	2
shadow-semantics	2
ignorance	2
prolog	2
mix	2
1971	2
practical	2
spark	2
genetic-programming	2
database	2
real-time	2
retrieve-relation	2
research	2
relation	2
diagram	2
efficient	2
indistinguishable	2
discretionary-access-control	2
finalisation	2
sat-solver	2
separation-of-concerns	2
lambda-calculus	2
memory	2
woo-lam	2
reference	2
scale-free	1
email	1
modal	1
number-theory	1
algol	1
support	1
numerical	1
psychology	1
orthogonal	1
community	1
bug	1
assertion	1
cosp-j	1
miracle	1
1926	1
deadlock	1
probe	1
open-source	1
visual	1
x509	1
rcl2000	1
kiv	1
unix	1
scam	1
cscw	1
algebra	1
seaview	1
secpal	1
group	1
ensured-entropy	1
design-by-contract	1
information-theory	1
game	1
environment	1
botnets	1
epistemic	1
state-transformer	1
freshness	1
eclipse	1
incompleteness	1
execution	1
lazy	1
variables	1
isomorphism	1
computer-science	1
deterrent	1
punishment	1
transputer	1
linux	1
jcsp	1
wireless-sensor	1
digital-restrictions	1
parsing-ambiguity	1
similarity	1
crime	1
term	1
lecture	1
xor	1
aegis	1
intel	1
declarative	1
zero-knowledge	1
1970	1
proofpower	1
hazop	1
signing	1
monads	1
secure-electronic-transaction	1
1948	1
xacml	1
talk	1
segregation	1
bpp	1
conflict-of-interest	1
domain	1
lecture-notes	1
petri-nets	1
sharing	1
virtual	1
smart-card	1
ordering	1
conformance	1
numbers	1
1967	1
publishing	1
monitor	1
decoding	1
cut-and-paste	1
refusals	1
library	1
weak	1
lightweight	1
rootkit	1
may	1
eigen	1
nonfunctional	1
taxonomy	1
skolem	1
intrusion-detection	1
ofmc	1
probability	1