michaelbanks's security [at least 200 articles] Export

Recent papers added to michaelbanks's library classified by the tag security. You can also see everyone's security.

	So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users [My Copy] In Proceedings of the New Security Paradigms Workshop 2009 (2010) by Cormac Herley posted to security password opinion economics 2010 by michaelbanks on 2009-11-25 10:06:21 as
	Prêt à Voter: a Systems Perspective [My Copy] (September 2005) by Peter Y. A. Ryan, Thea Peacock posted to voting system security analysis 2005 by michaelbanks on 2009-11-24 17:03:35 as
	A Policy Model for Secure Information Flow [My Copy] Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17. by Adedayo O. Adetoye, Atta Badii posted to security program operational information-flow declassification 2009 by michaelbanks on 2009-11-09 17:09:20 as
	A unifying approach to the security of distributed and multi-threaded programs [My Copy] Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676. by Heiko Mantel, Andrei Sabelfeld posted to translation security program maks language information-flow distributed 2003 by michaelbanks on 2009-10-30 14:16:44 as
	On the Composition of Compositional Reasoning [My Copy] Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151. by Felix C. Freiling, Thomas Santen posted to system security safety property maks liveness information-flow confidentiality composition 2006 by michaelbanks on 2009-10-30 11:10:07 as
	An Automata Based Approach for Verifying Information Flow Properties [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58. by Deepak D’Souza, K. R. Raghavendra, Barbara Sprick posted to verification unwinding security model-checking maks information-flow automata 2005 by michaelbanks on 2009-10-30 10:34:52 as
	Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency [My Copy] Automata, Languages and Programming In Automata, Languages and Programming, Vol. 5126 (2008), pp. 1-13. by Ran Canetti posted to security protocol composition 2008 by michaelbanks on 2009-10-30 10:24:40 as
	On The Composition Of Security Properties [My Copy] (1996) by Aris Zakinthinos posted to unwinding theory security property information-flow composition 1996 by michaelbanks on 2009-10-29 18:28:52 as
	Secure information flow and program logics [My Copy] Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248. by Lennart Beringer, Martin Hofmann posted to verification type-system security isabelle information-flow hol hoare-logic 2007 by michaelbanks on 2009-10-28 17:19:03 as
	A Taxonomy of Security Properties for Process Algebras [My Copy] Journal of Computer Security, Vol. 3, No. 1. (1995), pp. 5-34. by Riccardo Focardi, Roberto Gorrieri posted to security property process-algebra information-flow comparison 1995 by michaelbanks on 2009-10-28 10:44:04 as
	Exploiting Generic Aspects of Security Models in Formal Developments [My Copy] Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475. by Heiko Mantel, Axel Schairer posted to security maks information-flow formal-methods 2005 by michaelbanks on 2009-10-19 19:18:02 as
	Towards Formal Specification of Abstract Security Properties [My Copy] Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87. by Antonio Maña, Gimena Pujol posted to verification specification security property formal-methods 2008 by michaelbanks on 2009-10-02 10:16:12 as
	Quantification and Formalization of Security [My Copy] (February 2010) by Michael R. Clarkson posted to trace security quantification property information-flow hyperproperty confidentiality availability 2010 by michaelbanks on 2009-09-19 11:03:53 as
	Hyperproperties [My Copy] (30 June 2009) by Michael R. Clarkson, Fred B. Schneider posted to verification trace security safety refinement property policy liveness hyperproperty 2009 by michaelbanks on 2009-09-19 10:56:34 as
	Security and Composition of Multiparty Cryptographic Protocols [My Copy] Journal of Cryptology, Vol. 13, No. 1. (24 September 2000), pp. 143-202. by Ran Canetti posted to security protocol multi-agent cryptography composition 2000 by michaelbanks on 2009-09-16 14:07:16 as
	Universally Composable Security: A New Paradigm for Cryptographic Protocols [My Copy] (22 Dec 2000) by Ran Canetti posted to security protocol framework cryptography composition analysis 2000 by michaelbanks on 2009-09-16 13:57:31 as along with 1 person bjoerntm
	Broken Promises of Privacy: Responding to the Surprising Failure of Anonymization [My Copy] Social Science Research Network Working Paper Series (17 August 2009) by Paul Ohm posted to security privacy anonymization anonymity 2009 by michaelbanks on 2009-09-08 14:26:33 as along with 12 people danilov paulovn tnhh jclau Gorzomagnificent srijit pak installe dejang mariawolters bfraser gvdh
	Information flow security - models, verification and schedulers [My Copy] (2009) by Chenyi Zhang posted to verification unwinding timing-channels state-based security scheduler model information-flow bisimulation 2009 by michaelbanks on 2009-09-06 10:44:16 as
	Bringing security home: a process for developing secure and usable systems [My Copy] In NSPW '03: Proceedings of the 2003 workshop on New security paradigms (2003), pp. 49-57. by Ivan Flechais, M. Angela Sasse, Stephen M. V. Hailes posted to usability uml software-engineering security grid-computing aegis 2003 by michaelbanks on 2009-09-01 14:13:12 as along with 4 people and 3 groups leei shawn KAllendoerfer viveee Blog_and_Wiki_Research ubc-ucl Usable_Security
	Logic Column 10: Specifying Confidentiality [My Copy] (11 Nov 2004) by Riccardo Pucella posted to specification security protocol possible-worlds nondeducibility information-flow cryptography confidentiality 2004 by michaelbanks on 2009-08-27 12:56:01 as
	Security Analysis with Deviational Techniques [My Copy] No. YCST-2005-12. (April 2005) by Thitima Srivatanakul posted to security requirements hazop analysis 2005 by michaelbanks on 2009-08-26 16:34:00 as
	Security of multi-agent systems: A case study on comparison shopping [My Copy] Journal of Applied Logic, Vol. 5, No. 2. (June 2007), pp. 303-332. by Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer posted to security multi-agent case-study 2007 by michaelbanks on 2009-08-26 12:21:12 as
	Towards realizing a formal RBAC model in real systems [My Copy] In SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies (2007), pp. 215-224. by Gail-Joon Ahn, Hongxin Hu posted to role-based-access-control security model-driven access-control 2007 by michaelbanks on 2009-08-26 10:35:57 as
	Enabling verification and conformance testing for access control model [My Copy] In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204. by Hongxin Hu, Gail-Joon Ahn posted to role-based-access-control verification testing security sat-solver rcl2000 management framework conformance automatic assurance analysis alloy access-control 2008 by michaelbanks on 2009-08-26 10:18:16 as
	A logical language for expressing authorizations [My Copy] 1997 IEEE Symposium on Security and Privacy In 1997 IEEE Symposium on Security and Privacy (1997), pp. 31-42. by Sushil Jajodia, Pierangela Samarati, V. S. Subrahmanian posted to system specification security policy language access-control 1997 by michaelbanks on 2009-08-19 13:44:21 as
	Supporting reconfigurable security policies for mobile programs [My Copy] Computer Networks, Vol. 33, No. 1-6. (June 2000), pp. 77-93. by Brant Hashii, Scott Malabarba, Raju Pandey, Matt Bishop posted to specification security reconfigurable policy mobile language distributed 2000 by michaelbanks on 2009-08-19 10:47:20 as
	Design and Semantics of a Decentralized Authorization Language [My Copy] Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In 20th IEEE Computer Security Foundations Symposium (CSF'07) (July 2007), pp. 3-15. by Moritz Becker, Cedric Fournet, Andrew Gordon posted to security secpal policy language distributed declarative 2007 by michaelbanks on 2009-08-19 10:35:16 as along with 3 people bpw5 weqa jmackay
	A security policy language for wireless sensor networks [My Copy] Journal of Systems and Software, Vol. 82, No. 1. (January 2009), pp. 101-111. by David W. Marsh, Rusty O. Baldwin, Barry E. Mullins, Robert F. Mills, Michael R. Grimaila posted to wireless-sensor security policy network multi-level language composition bell-lapadula 2009 by michaelbanks on 2009-08-19 10:32:10 as
	Security Policy Specification Using a Graphical Approach [My Copy] No. CSE-98-3. (30 Sep 1998) by James A. Hoagland, Raju Pandey, Karl N. Levitt posted to security policy lasco language java 1998 by michaelbanks on 2009-08-18 16:08:54 as
	Secure web applications via automatic partitioning [My Copy] In 21st ACM SIGOPS symposium on Operating Systems Principles (SOSP '07) (2007), pp. 31-44. by Stephen Chong, Jed Liu, Andrew C. Myers, et al.Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng posted to web-services swift security policy jif java compiler 2007 by michaelbanks on 2009-08-18 11:13:22 as along with 1 group SOSP
	SIF: enforcing confidentiality and integrity in web applications [My Copy] In 16th USENIX Security Symposium on USENIX Security Symposium (SS'07) (2007), pp. 1-16. by Stephen Chong, K. Vikram, Andrew C. Myers posted to web-services swift security policy jif integrity confidentiality compiler 2007 by michaelbanks on 2009-08-18 11:11:43 as along with 1 person akshayk
	The Ponder Policy Specification Language [My Copy] In POLICY '01: Proceedings of the International Workshop on Policies for Distributed Systems and Networks, Vol. 1995 (2001), pp. 18-38. by Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman posted to system specification security ponder policy management distributed 2001 by michaelbanks on 2009-08-18 10:38:53 as along with 2 people japarejo sonofnel
	Ponder: a language for specifying security and management policies for distributed systems [My Copy] Imperial College Research Report DoC 2000/1 (2000) by Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman posted to system security ponder policy management distributed 2000 by michaelbanks on 2009-08-17 16:25:18 as along with 2 people network02 sonofnel
	Pattern-Based Confidentiality-Preserving Refinement [My Copy] Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59. by Holger Schmidt posted to security requirements refinement problem-frame fdr csp 2009 by michaelbanks on 2009-08-17 12:30:20 as
	Secure Composition of Systems [My Copy] Eighth Annual Computer Security Applications Conference In Eighth Annual Computer Security Applications Conference (1992), pp. 112-122. by John A. Mcdermid, Qi Shi posted to security composition 1992 by michaelbanks on 2009-08-14 16:39:29 as
	A Few Remarks about Formal Development of Secure Systems [My Copy] In 11th High-Assurance Systems Engineering Symposium (HASE '08) (23 December 2008), pp. 165-174. by Eric Jaeger, Thérèse Hardin posted to system security formal-methods development 2009 by michaelbanks on 2009-08-11 16:50:09 as
	The Formal Development of Secure Systems [My Copy] (1992) by John Graham-Cumming posted to security noninterference formal-methods csp 1992 by michaelbanks on 2009-08-11 16:46:57 as
	Some laws of non-interference (CSP algebra) [My Copy] Computer Security Foundations Workshop V, 1992. Proceedings. In 5th IEEE Computer Security Foundations Workshop (CSFW '92) (1992), pp. 22-33. by John Graham-Cumming posted to security proof noninterference multi-level definition csp case-study 1992 by michaelbanks on 2009-08-11 16:32:01 as
	Sums and Lovers: Case Studies in Security, Compositionality and Refinement [My Copy] In FM 2009: Formal Methods, Vol. 5850 (2009), pp. 289-304. by Annabelle K. McIver, Carroll C. Morgan edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ana Cavalcanti, Dennis R. Dams posted to 2009 case-study composition correctness protocol refinement-calculus security by michaelbanks on 2009-07-29 17:13:04 as
	Information Hiding, Anonymity and Privacy: A Modular Approach [My Copy] Journal of Computer Security, Vol. 12, No. 1. (2004), pp. 3-36. by Dominic Hughes, Vitaly Shmatikov posted to 2004 anonymity confidentiality information-flow knowledge kripke-structure logic security verification by michaelbanks on 2009-07-22 12:16:55 as along with 1 person sgwyj
	Security in Computing Systems: Challenges, Approaches and Solutions [My Copy] (2009) by Joachim Biskup posted to 2009 access-control anonymity authentication book cryptography inference-control intrusion-detection protocol security by michaelbanks on 2009-07-22 12:08:10 as
	A logic for reasoning about security [My Copy] ACM Transactions on Computer Systems, Vol. 10, No. 3. (1992), pp. 226-264. by Janice Glasgow, Glenn Macewen, Prakash Panangaden posted to 1992 framework knowledge logic policy security verification by michaelbanks on 2009-07-21 13:29:49 as
	Information-Flow Security for Interactive Programs [My Copy] In 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006), pp. 190-201. by Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong posted to 2006 information-flow program security by michaelbanks on 2009-07-18 15:25:51 as
	A Security Framework [My Copy] In 1st IEEE Computer Security Foundations Workshop (CSFW '88) (1988), pp. 98-111. by Jeremy L. Jacob posted to 1988 formal framework security specification theory by michaelbanks on 2009-07-13 17:56:07 as
	A probabilistic approach to information hiding [My Copy] In Programming Methodology (2003), pp. 441-460. by Annabelle Mciver, Carroll Morgan posted to 2003 information probabilistic program refinement security by michaelbanks on 2009-07-13 14:16:53 as
	Do strong web passwords accomplish anything? [My Copy] In HOTSEC'07: Proceedings of the 2nd USENIX workshop on Hot topics in security (2007), pp. 1-6. by Dinei Florêncio, Cormac Herley, Baris Coskun posted to 2007 brute-force internet password security web-services by michaelbanks on 2009-07-13 13:49:20 as
	Secrecy in Multiagent Systems [My Copy] ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47. by Joseph Y. Halpern, Kevin R. O'Neill posted to 2008 framework information-flow nondeducibility noninterference possibilistic probabilistic security semantics by michaelbanks on 2009-07-13 10:47:13 as
	The Shadow Knows: Refinement and security in sequential programs [My Copy] Science of Computer Programming, Vol. 74, No. 8. (June 2009), pp. 629-653. by Carroll Morgan posted to 2009 ignorance preserving refinement security shadow-semantics by michaelbanks on 2009-07-12 16:07:31 as
	Architectural Refinement and Notions of Intransitive Noninterference [My Copy] Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 60-74. by Ron van der Meyden posted to 2009 architecture information-flow noninterference refinement security transitive by michaelbanks on 2009-07-10 13:32:38 as
	Applying Doubly Labeled Transition Systems to the Refinement Paradox [My Copy] (September 2005) by David L. Bibighaus posted to 2005 availability confidentiality framework labelled-transition-system possibilistic process-algebra refinement security by michaelbanks on 2009-07-10 12:19:48 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/security

Result page: 1 2 3 4 5 6 7 Next

security	347
protocol	146
book	99
refinement	94
information-flow	90
specification	87
formal-methods	85
verification	79
2008	75
model	65
2006	64
proof	59
2009	58
attack	58
property	58
analysis	51
csp	50
noninterference	49
2005	48
formal	48
2007	47
language	45
logic	45
system	43
survey	42
2003	41
semantics	39
1996	37
z	37
software	35
textbook	35
confidentiality	34
programming	34
process-algebra	33
type-flaw	33
composition	32
2001	31
program	31
framework	30
policy	30
1995	29
model-checking	29
theory	29
tool	28
2000	27
authentication	27
introduction	27
1990	26
2002	26
automatic	26
software-engineering	26
1994	25
mathematics	25
2004	24
cryptography	24
1992	23
1997	23
1999	23
1998	22
concurrency	21
probabilistic	19
1987	18
access-control	18
bell-lapadula	18
development	18
safety	18
trace	18
theorem-proving	17
1993	16
circus	16
commercial	16
distributed	16
unwinding	16
algebraic	15
needham-schroeder	15
possibilistic	15
criticism	14
design	14
refinement-calculus	14
utp	14
information	13
integrity	13
key	13
liveness	13
1988	12
1989	12
alloy	12
data	12
search	12
testing	12
ban	11
bisimulation	11
engineering	11
fdr	11
hacking	11
java	11
maks	11
multi-level	11
preserving	11
requirements	11
1991	10
case-study	10
ccs	10
correctness	10
event-b	10
haskell	10
nondeterministic	10
synthesis	10
yahalom	10
1981	9
anonymity	9
availability	9
channels	9
hoare-logic	9
nondeducibility	9
public	9
reasoning	9
strand-space	9
type-system	9
1985	8
belief	8
b-method	8
category-theory	8
comparison	8
constraint-solving	8
dolev-yao	8
heuristic	8
knowledge	8
operational	8
privacy	8
simulation	8
spi-calculus	8
temporal	8
verified-software-repository	8
1977	7
1978	7
1984	7
automata	7
compiler	7
covert	7
functional-programming	7
guidance	7
kernel	7
neuman-stubblebine	7
separability	7
static-analysis	7
tagging	7
1986	6
action	6
communication	6
denotational	6
executable	6
history	6
object-z	6
operating-system	6
opinion	6
replay	6
rodin	6
roundtable	6
transformation	6
tutorial	6
type-checking	6
1976	5
1983	5
abstraction	5
control-flow	5
coq	5
decidability	5
derivation	5
expressiveness	5
file-system	5
generalised	5
grand-challenge	5
isabelle	5
jif	5
key-establishment	5
lattice	5
management	5
mondex	5
multi-agent	5
noninference	5
optimisation	5
otway-rees	5
paradox	5
philosophy	5
pi-calculus	5
precondition	5
predicate-transformer	5
role-based-access-control	5
standard	5
stepwise	5
structure	5
svo	5
transitive	5
uml	5
1972	4
1980	4
1982	4
architecture	4
axiomatic	4
biba	4
casper	4
cipher-block-chaining	4
confinement	4
definition	4
deterministic	4
distribution	4
economics	4
equivalence	4
game-theory	4
gdoi	4
general	4
guarded	4
hol	4
implementation	4
induction	4
labelled-transition-system	4
model-driven	4
network	4
object-oriented	4
posix	4
quantitative	4
reliability	4
resource-allocation	4
review	4
selective-interleaving	4
spa	4
state-machine	4
time	4
tla	4
validation	4
vdm	4
weakest	4
web-services	4
z-eves	4
1969	3
1975	3
1979	3
abstract-interpretation	3
accountability	3
ada	3
advocacy	3
artificial-intelligence	3
athena	3
capacity	3
certification	3
chaos-report	3
chinese-wall	3
command	3
computer	3
declassification	3
decomposition	3
denial-of-service	3
divergences	3
event	3
failures	3
flaw	3
flow	3
galois-connection	3
genetic-algorithm	3
godel	3
inference-control	3
internet	3
kerberos	3
larch	3
linking	3
lysa	3
mechanised	3
methods	3
no-silver-bullet	3
password	3
perfect	3
ponder	3
predicate	3
predicate-calculus	3
principles	3
raise	3
reconfigurable	3
recursion	3
relational	3
rewrite	3
risk	3
set-theory	3
simulated-annealing	3
social-processes	3
stairs	3
trust	3
unifying	3
usability	3
voting	3
window	3
1971	2
1973	2
1974	2
2010	2
adaptation	2
algorithm	2
algorithms	2
andrew-secure-rpc	2
animation	2
assurance	2
authenticity	2
avispa	2
capsl	2
ckt5	2
clark-wilson	2
closure	2
complexity	2
computability	2
contract	2
csp-oz	2
database	2
diagram	2
dictionary	2
dining-cryptographers	2
discretionary-access-control	2
dynamic	2
efficient	2
eiffel	2
emergence	2
evaluation	2
extraction	2
finalisation	2
floating-point	2
fm	2
focus	2
functionality	2
genetic-programming	2
guessing	2
guidelines	2
hardware	2
hru	2
hyperproperty	2
hypervisor	2
ibm-cics	2
ignorance	2
incident-insensitive	2
indistinguishability-classes	2
indistinguishable	2
kao-chow	2
lambda-calculus	2
limitations	2
mandatory-access-control	2
memory	2
mix	2
mobile	2
multics	2
natural	2
nonce	2
non-functional	2
obligation	2
operators	2
parser	2
pattern-matching	2
pointers	2
possible-worlds	2
practical	2
project	2
prolog	2
quantification	2
real-time	2
records	2
reference	2
relation	2
representation	2
research	2
restrictiveness	2
retrieve-relation	2
s3a	2
safety-critical	2
sat-solver	2
scyther	2
separation	2
separation-logic	2
separation-of-duty	2
sequential	2
shadow-semantics	2
spark	2
spi2java	2
spore-library	2
state-based	2
statistics	2
storage	2
swift	2
system-z	2
teaching	2
theorem	2
timestamp	2
tokeneer	2
topology	2
translation	2
turing-award	2
virus	2
woo-lam	2
writing	2
xen-hypervisor	2
xenon	2
1926	1
1948	1
1962	1
1967	1
1970	1
acp	1
aegis	1
agent	1
aggregation	1
algebra	1
algol	1
anonymization	1
apg	1
art	1
assertion	1
backtracking	1
backwards	1
behaviours	1
beller-yacobi	1
bird-meertens	1
bndc	1
botnets	1
bpp	1
bpw	1
brute-force	1
b-toolkit	1
bug	1
caml	1
cellphone	1
choice	1
chosen-name	1
cipher	1
classes	1
collaborative	1
combinator	1
common-criteria	1
community	1
computer-science	1
conflict-of-interest	1
conformance	1
continuous	1
contract-bridge	1
control-law	1
cosp-j	1
crefine	1
cscw	1
curry-howard	1
cut-and-paste	1
deadlock	1
declarative	1
decoding	1
defence	1
denning-sacco	1
design-by-contract	1
detection	1
deterrent	1
digital-restrictions	1
domain	1
doxastic	1
draft	1
eclipse	1
ecma	1
eigen	1
email	1
encoding	1
ensured-entropy	1
entropy	1
environment	1
epistemic	1
exception-handling	1
execution	1
exercises	1
extreme-programming	1
finger-tree	1
fixed-point	1
forward-correctability	1
forwards	1
freshness	1
game	1
gny	1
graph-theory	1
grid-computing	1
group	1
guru	1
hazop	1
high-assurance	1
histar	1
huffman	1
incompleteness	1
information-theory	1
intel	1
intelligent	1
interation	1
interface	1
intrusion-detection	1
invariant	1
iso-iec-11770-2	1
isomorphism	1
jape	1
jcsp	1
kiv	1
kripke-structure	1
lasco	1

michaelbanks's security [at least 200 articles] Export

michaelbanks's tags